progs/prelude/PreludeLocal.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

module PreludeLocal where

{-#Prelude#-}  -- Indicates definitions of compiler prelude symbols

infixr 5 :

data Int = MkInt
data Integer = MkInteger
data Float = MkFloat
data Double   = MkDouble
data Char = MkChar
data Bin = MkBin
data List a = a : (List a) | Nil
data Arrow a b = MkArrow a b

data Triv = MkTriv