PatternGuards
commit77194b9c0dbeb8cc018011861a338b969fea9d11
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateSat 5 Nov 2011, 10:28 (15 years ago)
parented64e76
src/Idris/AbsSyntax.hs+1−1
@@ -1,5 +1,5 @@
11{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor,
2− TypeSynonymInstances #-}
2+ TypeSynonymInstances, PatternGuards #-}
33
44module Idris.AbsSyntax where
55
src/Idris/REPL.hs+2−1
@@ -1,4 +1,5 @@
1−{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor #-}
1+{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveFunctor,
2+ PatternGuards #-}
23
34module Idris.REPL where
45