Opened 12 years ago

Closed 12 years ago

Last modified 11 years ago

#1474 closed feature request (fixed)

With -fglasgow-exts add option to show simpler types.

Reported by: iampure@… Owned by: igloo
Priority: normal Milestone:
Component: GHCi Version: 6.6.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


Instead of showing forall a b c d e f (t1 :: * -> * -> *) (t2 :: * -> *). <context> => <some type>, show <context> => <some type> with this option enabled when doing :t. The kinds are of no interest to me most of the time.

Change History (4)

comment:1 Changed 12 years ago by igloo

Owner: set to igloo

comment:2 Changed 12 years ago by igloo

Resolution: fixed
Status: newclosed

Fixed by:

Mon Jul 9 15:35:51 BST 2007 Ian Lynagh <igloo@…>

  • Add -fprint-explicit-foralls flag; fixes trac #1474

comment:3 Changed 11 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:4 Changed 11 years ago by simonmar

Operating System: UnknownUnknown/Multiple
Note: See TracTickets for help on using tickets.