testsuite/tests/typecheck/should_compile/T505.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# OPTIONS_GHC -Wno-inline-rule-shadowing #-}
module Bug where

foo 1 = 2
bar 0 = 1

-- regression test for #505:
-- the following rule should not case a panic

{-# RULES
  "foo/bar" foo bar = foobar
 #-}

foobar = 2