On Thu, Nov 15, 2007 at 10:24:43PM +0100, Daniel Fischer wrote:
Am Donnerstag, 15. November 2007 09:57 schrieb Simon Peyton-Jones:
Urk. Well spotted!
I omitted a prime (writing env instead of env') in a late fix, and as a
result practically no top-level rules and specialisations are
!
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of
| kenny lu
| Sent: 15 November 2007 06:49
| To: glasgow-haskell-users@haskell.org
| Subject: GHC 6.8.1 SpecConstr
|
| Hi,
|
| Recall the example from Simon's paper appearing in ICFP 2007.
|
| myLast
Am Donnerstag, 15. November 2007 09:57 schrieb Simon Peyton-Jones:
Urk. Well spotted!
I omitted a prime (writing env instead of env') in a late fix, and as a
result practically no top-level rules and specialisations are being
applied.
What an egregious bug. The good news is that a
Hi,
Recall the example from Simon's paper appearing in ICFP 2007.
myLast :: [a] - a
myLast [] = error
myLast [x] = x
myLast (x:xs) = myLast xs
which returns the last element in a list.
Applying the idea in the paper, we should rewrite the function
as follows,
myLast :: [a] - a
myLast [] =