github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Reformat the signature for runFile to accommodate the evaluator.

Browse Source
This commit is contained in:
Rob Rix 2019-07-29 12:23:52 -04:00
parent 97ae6e9b21
commit 813cde359e
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
semantic-core/src/Analysis/Typecheck.hs
View File

@ -108,7 +108,12 @@ runFile
, Member (State (Heap User Type)) sig
, Ord (term User)
)
=> (forall sig m . (Carrier sig m, Member (Reader Loc) sig, MonadFail m) => Analysis term User Type m -> (term User -> m Type) -> (term User -> m Type))
=> (forall sig m
. (Carrier sig m, Member (Reader Loc) sig, MonadFail m)
=> Analysis term User Type m
-> (term User -> m Type)
-> (term User -> m Type)
)
-> File (term User)
-> m (File (Either (Loc, String) Type))
runFile eval file = traverse run file