Opened 6 years ago

Closed 6 years ago

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

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 6 years ago by igloo

  • Difficulty set to Unknown
  • Milestone set to 6.10.1
  • Owner set to igloo

comment:2 Changed 6 years ago by igloo

  • Resolution set to duplicate
  • Status changed from new to closed

#2497 and #2500 now cover these points.

comment:3 Changed 6 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:4 Changed 6 years ago by simonmar

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