github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity

🔥 the MonadValue constraints on Value.

Browse Source
This commit is contained in:
Rob Rix 2018-03-29 09:40:45 -04:00
parent 1c03f9c4d9
commit c2f657202b
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Semantic/Util.hs
View File

@ -67,7 +67,6 @@ evaluateFile :: forall term effects
, FreeVariables term , FreeVariables term
, effects ~ RequiredEffects term Value (Evaluating term Value effects) , effects ~ RequiredEffects term Value (Evaluating term Value effects)
, MonadAddressable Precise Value (Evaluating term Value effects) , MonadAddressable Precise Value (Evaluating term Value effects)
, MonadValue Value (Evaluating term Value effects)
, Recursive term , Recursive term
) )
=> Parser term => Parser term
@ -101,7 +100,6 @@ evaluateWithPrelude :: forall term effects
, FreeVariables term , FreeVariables term
, effects ~ RequiredEffects term Value (Evaluating term Value effects) , effects ~ RequiredEffects term Value (Evaluating term Value effects)
, MonadAddressable Precise Value (Evaluating term Value effects) , MonadAddressable Precise Value (Evaluating term Value effects)
, MonadValue Value (Evaluating term Value effects)
, Recursive term , Recursive term
, TypeLevel.KnownSymbol (PreludePath term) , TypeLevel.KnownSymbol (PreludePath term)
) )
@ -121,7 +119,6 @@ evaluateFiles :: forall term effects
, FreeVariables term , FreeVariables term
, effects ~ RequiredEffects term Value (Evaluating term Value effects) , effects ~ RequiredEffects term Value (Evaluating term Value effects)
, MonadAddressable Precise Value (Evaluating term Value effects) , MonadAddressable Precise Value (Evaluating term Value effects)
, MonadValue Value (Evaluating term Value effects)
, Recursive term , Recursive term
) )
=> Parser term => Parser term
@ -152,7 +149,6 @@ evaluateFilesWithPrelude :: forall term effects
, FreeVariables term , FreeVariables term
, effects ~ RequiredEffects term Value (Evaluating term Value effects) , effects ~ RequiredEffects term Value (Evaluating term Value effects)
, MonadAddressable Precise Value (Evaluating term Value effects) , MonadAddressable Precise Value (Evaluating term Value effects)
, MonadValue Value (Evaluating term Value effects)
, Recursive term , Recursive term
, TypeLevel.KnownSymbol (PreludePath term) , TypeLevel.KnownSymbol (PreludePath term)
) )