Commit cefe67b0 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Error message wibbles

parent d79ecb44
......@@ -11,6 +11,6 @@ b :: a2 -> a2
c :: ()
d :: a -> a -> a
a = (_t1::t)
b = (_t2::forall a2. a2 -> a2)
b = (_t2::a2 -> a2)
c = (_t3::())
d = (_t4::a -> a -> a)
+ = (_t1::forall a. Num a => a -> a -> a)
print = (_t2::forall a. Show a => a -> IO ())
log = (_t3::forall a. Floating a => a -> a)
head = (_t4::forall a. [a] -> a)
tail = (_t5::forall a. [a] -> [a])
fst = (_t6::forall a b. (a, b) -> a)
+ = (_t1::Num a => a -> a -> a)
print = (_t2::Show a1 => a1 -> IO ())
log = (_t3::Floating a2 => a2 -> a2)
head = (_t4::[a3] -> a3)
tail = (_t5::[a4] -> [a4])
fst = (_t6::(a5, b) -> a5)
u = (_t1::forall s a. ST s (forall s'. ST s' a))
u = (_t1::ST s (forall s'. ST s' a))
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment