git.iko.soy/Idris-dev
on master help sign in
Compile on GHC 7.0
commit4bc64242d550ff549cdca7dffd7af7c49f8fcd2a authorSeo Sanghyeon <sanxiyn@gmail.com> dateThu 27 Dec 2012, 17:09 (14 years ago) parentbfd5b51
2 files changed+2−2
compare with master
unifiedsplit
src/Core/CaseTree.hs+1−1 src/IRTS/Compiler.hs+1−1
src/Core/CaseTree.hs+1−1
@@ -1,4 +1,4 @@
1−{-# LANGUAGE PatternGuards, DeriveFunctor #-}
1+{-# LANGUAGE PatternGuards, DeriveFunctor, TypeSynonymInstances #-}
22
33module Core.CaseTree(CaseDef(..), SC, SC'(..), CaseAlt, CaseAlt'(..),
44 Phase(..), CaseTree,
src/IRTS/Compiler.hs+1−1
@@ -1,4 +1,4 @@
1−{-# LANGUAGE PatternGuards #-}
1+{-# LANGUAGE PatternGuards, TypeSynonymInstances #-}
22
33module IRTS.Compiler where
44