#1434: Slow conversion from Double to Int
---------------------------------------+------------------------------------
Reporter: [EMAIL PROTECTED] | Owner: dons
Type: task | Status: new
Priority: normal | Milestone: 6.8 branch
Component: libraries/base | Version: 6.4.1
Severity: normal | Resolution:
Keywords: rules | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Linux |
---------------------------------------+------------------------------------
Changes (by dons):
* keywords: => rules
* type: bug => task
Comment:
While hunting around, I noticed we have nice RULES defined for the basic
math and boolean ops,
{{{
"x# ># x#" forall x#. x# ># x# = False
"x# >=# x#" forall x#. x# >=# x# = True
"x# ==# x#" forall x#. x# ==# x# = True
"x# /=# x#" forall x#. x# /=# x# = False
"x# <# x#" forall x#. x# <# x# = False
"x# <=# x#" forall x#. x# <=# x# = True
}}}
For example, but I couldn't see rules for the Word# primitives.
However, if I write test cases,
{{{
x = case int2Word# 7# of x# -> x# `gtWord#` x#
}}}
We do get rules firing,
{{{
2 RuleFired
1 gtWord#
1 int2Word#
M.x = False
}}}
Where are the Word# rules defined? Are they wired in?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1434#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
