mirror of
https://github.com/github/semantic.git
synced 2024-12-24 23:42:31 +03:00
Correct the type of TestEvaluating.
This commit is contained in:
parent
8ba011ea8d
commit
4be5418b92
@ -68,7 +68,13 @@ readFilePair paths = let paths' = fmap file paths in
|
||||
readFileVerbatim :: FilePath -> IO Verbatim
|
||||
readFileVerbatim = fmap verbatim . B.readFile
|
||||
|
||||
type TestEvaluating term = Evaluating Precise term (Value Precise)
|
||||
type TestEvaluating term
|
||||
= Erroring (AddressError Precise (Value Precise))
|
||||
( Erroring (EvalError (Value Precise))
|
||||
( Erroring (ResolutionError (Value Precise))
|
||||
( Erroring (Unspecialized (Value Precise))
|
||||
( Erroring (ValueError Precise (Value Precise))
|
||||
( Evaluating Precise term (Value Precise))))))
|
||||
|
||||
ns n = Just . Latest . Just . injValue . Namespace n
|
||||
addr = Address . Precise
|
||||
|
Loading…
Reference in New Issue
Block a user