Commit fd47e261 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix up ghci044

parent c97f8533
...@@ -10,4 +10,6 @@ instance {-# OVERLAPPABLE #-} C a => C [a] where f xs = "Third" ...@@ -10,4 +10,6 @@ instance {-# OVERLAPPABLE #-} C a => C [a] where f xs = "Third"
f [5::Int] -- Should be fine f [5::Int] -- Should be fine
instance {-# OVERLAPPABLE #-} C a => C [a] where f xs = "Fourth" instance {-# OVERLAPPABLE #-} C a => C [a] where f xs = "Fourth"
f [6::Int] -- Should be fine too, overrides f [6::Int] -- Should be fine too, overrides
instance C Bool where { f _ = "Bool" }
f [True] -- Should be fine too, overrides
"First"
"First"
"First"
"Fourth"
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