Ticket #2498 (closed bug: duplicate)

Opened 5 years ago

Last modified 5 years ago

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

Changed 5 years ago by igloo

  • owner set to igloo
  • difficulty set to Unknown
  • milestone set to 6.10.1

Changed 5 years ago by igloo

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

#2497 and #2500 now cover these points.

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.