Commit 8350c217 authored by Simon Marlow's avatar Simon Marlow

remove -XNoMonomorphismRestriction

This was apparently needed at some point during the new typechecker
development, but does not seem to be required now.
parent 8b104b69
......@@ -12,15 +12,7 @@
{
{-# LANGUAGE BangPatterns #-} -- required for versions of Happy before 1.18.6
{-# OPTIONS -Wwarn -w -XNoMonomorphismRestriction #-}
-- The NoMonomorphismRestriction deals with a Happy infelicity
-- With OutsideIn's more conservativ monomorphism restriction
-- we aren't generalising
-- notHappyAtAll = error "urk"
-- which is terrible. Switching off the restriction allows
-- the generalisation. Better would be to make Happy generate
-- an appropriate signature.
--
{-# OPTIONS -Wwarn -w #-}
-- The above warning supression flag is a temporary kludge.
-- While working on this module you are encouraged to remove it and fix
-- any warnings in the module. See
......
......@@ -9,15 +9,7 @@
{
{-# LANGUAGE BangPatterns #-} -- required for versions of Happy before 1.18.6
{-# OPTIONS -Wwarn -w -XNoMonomorphismRestriction #-}
-- The NoMonomorphismRestriction deals with a Happy infelicity
-- With OutsideIn's more conservativ monomorphism restriction
-- we aren't generalising
-- notHappyAtAll = error "urk"
-- which is terrible. Switching off the restriction allows
-- the generalisation. Better would be to make Happy generate
-- an appropriate signature.
{-# OPTIONS -Wwarn -w #-}
-- The above warning supression flag is a temporary kludge.
-- While working on this module you are encouraged to remove it and fix
-- any warnings in the module. See
......
{
{-# LANGUAGE BangPatterns #-} -- required for versions of Happy before 1.18.6
{-# OPTIONS -Wwarn -w -XNoMonomorphismRestriction #-}
-- The NoMonomorphismRestriction deals with a Happy infelicity
-- With OutsideIn's more conservativ monomorphism restriction
-- we aren't generalising
-- notHappyAtAll = error "urk"
-- which is terrible. Switching off the restriction allows
-- the generalisation. Better would be to make Happy generate
-- an appropriate signature.
--
{-# OPTIONS -Wwarn -w #-}
-- The above warning supression flag is a temporary kludge.
-- While working on this module you are encouraged to remove it and fix
-- any warnings in the module. See
......
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