github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Trick hlint.

Browse Source 
This is goofy as hell but we don’t have maybeM here.
This commit is contained in:
Rob Rix 2020-01-06 15:17:53 -05:00
parent e34444eaf9
commit 29e09bea4d
No known key found for this signature in database
GPG Key ID: 2BE643E01DC032AE
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic-python/test/Test.hs
View File

@ -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 <- maybe (HUnit.assertFailure ("Can’t evaluate open term: " <> showCore (stripAnnotations withPrelude))) pure (closed withPrelude) allTogether <- fromMaybe (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