6322cc6 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #141 from sanxiyn/master

Compile on GHC 7.0

commit6322cc617e3858805d2b75f37756756f3f22dd99 authorEdwin Brady <edwin.brady@gmail.com> dateMon 7 Jan 2013, 06:41 (14 years ago) parentb2cf967 d95a981

3 files changed+5−2

compare with master

unifiedsplit

lib/Builtins.idr+3 src/Core/CaseTree.hs+1−1 src/IRTS/Compiler.hs+1−1

lib/Builtins.idr+3

@@ -19,6 +19,9 @@ replace refl prf = prf

1919sym : {l:a} -> {r:a} -> l = r -> r = l

2020sym refl = refl

2121

22+trans : {a:x} -> {b:x} -> {c:x} -> a = b -> b = c -> a = c

23+trans refl refl = refl

24+

2225lazy : a -> a

2326lazy x = x -- compiled specially

2427

src/Core/CaseTree.hs+1−1

@@ -1,4 +1,4 @@

1−{-# LANGUAGE PatternGuards, DeriveFunctor #-}

1+{-# LANGUAGE PatternGuards, DeriveFunctor, TypeSynonymInstances #-}

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 #-}

33module IRTS.Compiler where