[ treeless ] ghc < 7.10 compatibility

agda · Nov 6, 2015 · ec450d8 · ec450d8
1 parent 9f63c17
commit ec450d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/full/Agda/Compiler/Treeless/Uncase.hs b/src/full/Agda/Compiler/Treeless/Uncase.hs
@@ -9,7 +9,7 @@ import Agda.TypeChecking.Substitute
 import Agda.Compiler.Treeless.Subst
 
 caseToSeq :: Monad m => TTerm -> m TTerm
-caseToSeq t = pure $ uncase t
+caseToSeq t = return $ uncase t
 
 uncase :: TTerm -> TTerm
 uncase t = case t of