Rules.hs:
module Rules where
my_id :: a -> a
my_id a = a
my_int_id :: Int -> Int
my_int_id a = a
{-# RULES my_id = my_int_id #-}
{-# SPECIALIZE my_id :: Int -> Int = my_int_id #-}
Neither of the pragmas are accepted. The first elicits a parse error on
my_id, the second elicits a parse error on '='.
GHC 5.04.1 Solaris.
- Hal
--
Hal Daume III
"Computer science is no more about computers | [EMAIL PROTECTED]
than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
