Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#2498 closed bug (duplicate)

RULES pragma broken in the head

Reported by: rl Owned by: igloo
Priority: normal Milestone: 6.10.1
Component: Compiler Version: 6.9
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:

Description

This module:

module Foo where
{-# RULES "id" forall x. id x = x #-}

compiles fine with 6.8.3 but the HEAD says (twice):

Foo.hs:2:0: Unrecognised pragma

Adding -frewrite-rules has no effect. But with -XRank2Types, it compiles fine for some reason.

Change History (4)

comment:1 Changed 9 years ago by igloo

difficulty: Unknown
Milestone: 6.10.1
Owner: set to igloo

comment:2 Changed 9 years ago by igloo

Resolution: duplicate
Status: newclosed

#2497 and #2500 now cover these points.

comment:3 Changed 9 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:4 Changed 9 years ago by simonmar

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