From 8350c21760d8610b0b2f329095ffb80bb1bc20d9 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 17 Nov 2010 12:49:26 +0000 Subject: remove -XNoMonomorphismRestriction This was apparently needed at some point during the new typechecker development, but does not seem to be required now. --- compiler/cmm/CmmParse.y | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'compiler/cmm/CmmParse.y') diff --git a/compiler/cmm/CmmParse.y b/compiler/cmm/CmmParse.y index f22977f5b4..51f29a85e7 100644 --- a/compiler/cmm/CmmParse.y +++ b/compiler/cmm/CmmParse.y @@ -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 -- cgit v1.2.1