mirror of
https://github.com/github/semantic.git
synced 2024-11-28 10:15:55 +03:00
parent
d278a01122
commit
e34444eaf9
@ -58,7 +58,7 @@ assertEvaluatesTo :: Term (Ann Span :+: Core) Name -> Text -> Concrete (Term (An
|
|||||||
assertEvaluatesTo core k val = do
|
assertEvaluatesTo core k val = do
|
||||||
prelude <- parsePrelude
|
prelude <- parsePrelude
|
||||||
let withPrelude = (named' "__semantic_prelude" :<- prelude) >>>= core
|
let withPrelude = (named' "__semantic_prelude" :<- prelude) >>>= core
|
||||||
allTogether <- maybeM (HUnit.assertFailure ("Can’t evaluate open term: " <> showCore (stripAnnotations withPrelude))) (closed withPrelude)
|
allTogether <- maybe (HUnit.assertFailure ("Can’t evaluate open term: " <> showCore (stripAnnotations withPrelude))) pure (closed withPrelude)
|
||||||
let filius = [File (Path.absRel "<interactive>") (Span (Pos 1 1) (Pos 1 1)) allTogether]
|
let filius = [File (Path.absRel "<interactive>") (Span (Pos 1 1) (Pos 1 1)) allTogether]
|
||||||
|
|
||||||
(heap, env) <- case Concrete.concrete Eval.eval filius of
|
(heap, env) <- case Concrete.concrete Eval.eval filius of
|
||||||
|
Loading…
Reference in New Issue
Block a user