Re: patch applied (ghc): Fix truncate on amd64 NCG; fixes arith005.

2007-05-07 Thread Brian Alliet
On Mon, May 07, 2007 at 08:58:33AM +0100, Simon Marlow wrote: > Something still looks odd here. We have a RULE in GHC/Float.hs mapping > truncate on Float->Int to the float2Int# primop (similarly for Double), > which means that either float2Int# should have truncating semantics, or the > RULE i

Re: darcs patch: Fix the GHC.Base.inline builtin rule

2007-04-27 Thread Brian Alliet
On Mon, Apr 23, 2007 at 08:07:07AM +0100, Simon Peyton-Jones wrote: > How are you using 'inline'? I was trying to get the various unpackCString# rules to work with strings with non-ascii characters (the desugarer turns them into unpackCStringUtf8# which doesn't have the foldr/build rules). I wante

darcs patch: Fix the GHC.Base.inline builtin rule

2007-04-20 Thread Brian Alliet
Fri Apr 20 08:07:21 EDT 2007 Brian Alliet <[EMAIL PROTECTED]> * Fix the GHC.Base.inline builtin rule This rule wasn't working for two reasons a) inlineIdName wasn't in basicKnownKeyNames b) The rule function wasn't taking into account the type argument N

Optimizations done by typechecker and desugarer

2007-04-03 Thread Brian Alliet
I noticed that the typechecker and desugarer try to do some minor optimizations here and there. The handling of overloaded literals recently caught my attention (see shortCutIntLit in typecheck/Inst and tidyNPat in deSugar/MatchLit). Are these just there as a hangover from before the simplifier w

darcs patch: Update the wired-in name for Data.String.IsString

2007-03-13 Thread Brian Alliet
Wed Mar 14 01:28:07 EDT 2007 Brian Alliet <[EMAIL PROTECTED]> * Update the wired-in name for Data.String.IsString New patches: [Update the wired-in name for Data.String.IsString Brian Alliet <[EMAIL PROTECTED]>**20070314052807] { hunk ./compiler/prelude/PrelNames.lhs 667 -isStr