Ticket #2114 (closed merge: fixed)

Opened 5 years ago

Last modified 5 years ago

Bad error message for omitting -XExistentialQuantification flag

Reported by: tim Owned by: igloo
Priority: normal Milestone:
Component: Compiler (Type checker) Version: 6.8.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Unknown
Test Case: rnfail052, rnfail053 Blocked By:
Blocking: Related Tickets:

Description

If I compile this program:

module Foo where

data T = forall a . MkT a

with:

ghc-6.8.1  extest.hs -c

I get the error:

extest.hs:3:9: Not a constructor: `forall'

I think it would be a better error message to suggest passing in the -XExistentialQuantification flag.

Change History

Changed 5 years ago by simonpj

  • owner set to igloo
  • difficulty set to Unknown
  • type changed from bug to merge
  • testcase set to rnfail052, rnfail053

Fixed by

Fri Feb 22 18:26:46 GMT 2008  simonpj@microsoft.com
  * Fix Trac #2114: error reporting for 'forall' without appropriate flags

This is a mixture of parser and renamer improvements. Still a bit ad-hoc, but better than before.

Simon

Changed 5 years ago by igloo

  • status changed from new to closed
  • resolution set to fixed

Merged

Changed 5 years ago by simonmar

  • architecture changed from Unknown to Unknown/Multiple

Changed 5 years ago by simonmar

  • os changed from Unknown to Unknown/Multiple
Note: See TracTickets for help on using tickets.