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

Interpret in runUnitType.

Browse Source
This commit is contained in:
Rob Rix 2018-05-24 10:42:49 -04:00
parent 13366d65c0
commit f176cd2c14
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Control/Abstract/Value.hs
View File

@ -275,10 +275,9 @@ runFunctionType = interpretAny $ \ eff -> case eff of
pure ret
_ -> empty
runUnitType :: (Unit Type \\ effects) effects'
=> Eval location Type opaque effects a
-> Eval location Type opaque effects' a
runUnitType = interpretAny (\ Unit -> pure (Product []))
runUnitType :: Eval location Type opaque (Unit Type ': effects) a
-> Eval location Type opaque effects a
runUnitType = interpret (\ Unit -> pure (Product []))
runBooleanType :: Member NonDet effects
=> Eval location Type opaque (Boolean Type ': effects) a