Ticket #1474 (closed feature request: fixed)

Opened 6 years ago

Last modified 5 years ago

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: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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

Changed 6 years ago by igloo

  • owner set to igloo

Changed 6 years ago by igloo

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

Fixed by:

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

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

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.