github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 12:23:08 +03:00
Code Issues Projects Releases Wiki Activity

Infer the type of runType.

Browse Source
This commit is contained in:
Rob Rix 2018-05-24 11:18:26 -04:00
parent 39851a602e
commit 02a595cc36
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -107,20 +107,10 @@ newtype Eval location value (opaque :: * -> *) effects a = Eval { runEval :: Eff
deriving instance Member NonDet effects => Alternative (Eval location value opaque effects)
runType :: Members '[ Fail
, Fresh
, NonDet
, Reader (Map Name Name)
, State (Map Name (Set Type))
] effects
=> Eval Name Type opaque (Function opaque Type ': Unit Type ': Boolean Type ': Variable Type ': effects) a
-> Eval Name Type opaque effects a
runType = runVariable derefType . runBooleanType . runUnitType . runFunctionType
runRest = runFresh 0 . runNonDetA . runFail . runEnv . runHeapType
runType = runFresh 0 . runNonDetA . runFail . runEnv . runHeapType . runVariable derefType . runBooleanType . runUnitType . runFunctionType
resultType :: [Either String (Type, Map Name (Set Type))]
resultType = run (runRest (runType (prog BoolT)))
resultType = run (runType (prog BoolT))
data Function opaque value return where