Commit 0e04e0bc authored by Simon Marlow's avatar Simon Marlow
Browse files

gadt2 needs ExplicitForall

parent 9b9226da
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ExplicitForAll,GADTs #-}
-- Pattern match uses dictionaries bound higher up in the pattern
......@@ -15,4 +15,4 @@ g (T n) | n >= 3 = if n>3 then GT else EQ
g (T n) = LT
main = do print [f (T 0), f (T 1)]
print [g (T 2), g (T 3), g (T 4)]
\ No newline at end of file
print [g (T 2), g (T 3), g (T 4)]
Supports Markdown
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