1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 15:35:14 +03:00

Specialize evaluating.

This commit is contained in:
Rob Rix 2018-05-06 12:08:09 -04:00
parent 3a2ba0b631
commit 88f64e7301

View File

@ -43,7 +43,7 @@ type EvaluatingEffects location term value
]
evaluating :: (AbstractHole value, Effectful m, Show value) => m (EvaluatingEffects location term value) result -> (Either String result, EvaluatingState location term value)
evaluating :: (AbstractHole value, Show value) => Evaluator location term value (EvaluatingEffects location term value) result -> (Either String result, EvaluatingState location term value)
evaluating
= (\ (((((result, env), heap), modules), exports), jumps) -> (result, EvaluatingState env heap modules exports jumps))
. Eff.run