git.iko.soy/Idris-dev
on master help sign in
PatternGuards
77194b9Edwin Brady
src/Idris/AbsSyntax.hs+1−1
compare with master
unifiedsplit
@@ -1,5 +1,5 @@
1{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor,
1{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor,
2− TypeSynonymInstances #-}
2+ TypeSynonymInstances, PatternGuards #-}
3
3
4module Idris.AbsSyntax where
4module Idris.AbsSyntax where
5
5
src/Idris/REPL.hs+2−1
@@ -1,4 +1,5 @@
1−{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor #-}
1+{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor,
2+ PatternGuards #-}
2
3
3module Idris.REPL where
4module Idris.REPL where
4
5