git.iko.soy/Idris-dev
on master help sign in
Compile on GHC 7.0
4bc6424Seo Sanghyeon
src/Core/CaseTree.hs+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−{-# LANGUAGE PatternGuards, DeriveFunctor #-}
1+{-# LANGUAGE PatternGuards, DeriveFunctor, TypeSynonymInstances #-}
2
2
3module Core.CaseTree(CaseDef(..), SC, SC'(..), CaseAlt, CaseAlt'(..),
3module Core.CaseTree(CaseDef(..), SC, SC'(..), CaseAlt, CaseAlt'(..),
4 Phase(..), CaseTree,
4 Phase(..), CaseTree,
src/IRTS/Compiler.hs+1−1
@@ -1,4 +1,4 @@
1−{-# LANGUAGE PatternGuards #-}
1+{-# LANGUAGE PatternGuards, TypeSynonymInstances #-}
2
2
3module IRTS.Compiler where
3module IRTS.Compiler where
4
4