Skip to content

Commit

Permalink
Trick hlint.
Browse files Browse the repository at this point in the history
This is goofy as hell but we don’t have maybeM here.
  • Loading branch information
robrix committed Jan 6, 2020
1 parent e34444e commit 29e09be
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion semantic-python/test/Test.hs
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ assertEvaluatesTo :: Term (Ann Span :+: Core) Name -> Text -> Concrete (Term (An
assertEvaluatesTo core k val = do
prelude <- parsePrelude
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]

(heap, env) <- case Concrete.concrete Eval.eval filius of
Expand Down

0 comments on commit 29e09be

Please sign in to comment.