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

lib/Builtins.idr+3

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

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

20sym refl = refl

21

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

23+trans refl refl = refl

24+

22lazy : a -> a

25lazy : a -> a

23lazy x = x -- compiled specially

26lazy x = x -- compiled specially

24

27

src/Core/CaseTree.hs+1−1

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

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

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

2

3module Core.CaseTree(CaseDef(..), SC, SC'(..), CaseAlt, CaseAlt'(..),

4 Phase(..), CaseTree,

src/IRTS/Compiler.hs+1−1

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

1−{-# LANGUAGE PatternGuards #-}

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

2

3module IRTS.Compiler where

4