Skip to content
  • Simon Peyton Jones's avatar
    Work around missing type signature in Happy · c800c163
    Simon Peyton Jones authored
    Happy generates
    
          notHappyAtAll = error "Blah"
    
    without a type signature, and currently the new
    typechecker doesn't generalise it.  This patch
    says "no monomorphism restriction" which makes it
    generalise again.
    
    Better would be to add a type sig to Happy's template
    c800c163