[ ghc-Bugs-630807 ] -O2 generates wrong code

[noreply]

Bugs item #630807, was opened at 2002-10-29 16:12
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detailatid=108032aid=630807group_id=8032

Category: Compiler
Group: 5.04.1
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: -O2 generates wrong code

Initial Comment:
I have a program (the Bluespec compiler), where using
-O2 generates a program that loops (or at least is VERY
slow), whereas not using generates a working program.

I can't really give you the source code, but perhaps
you can contact me and we can see if we can work
something out.

  -- Lennart

[EMAIL PROTECTED]


--

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detailatid=108032aid=630807group_id=8032
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[ ghc-Bugs-630807 ] -O2 generates wrong code

[noreply]

Bugs item #630807, was opened at 2002-10-29 16:12
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detailatid=108032aid=630807group_id=8032

Category: Compiler
Group: 5.04.1
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: -O2 generates wrong code

Initial Comment:
I have a program (the Bluespec compiler), where using
-O2 generates a program that loops (or at least is VERY
slow), whereas not using generates a working program.

I can't really give you the source code, but perhaps
you can contact me and we can see if we can work
something out.

  -- Lennart

[EMAIL PROTECTED]


--

Comment By: Nobody/Anonymous (nobody)
Date: 2002-10-29 16:14

Message:
Logged In: NO 

BTW, this bug is in 5.02 too.


--

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detailatid=108032aid=630807group_id=8032
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Compiler panic

[Andrew J Bromage]

G'day all.

On a very recently checked out copy of GHC (late last week, from
memory) I get the following panic:

  % ghc -fglasgow-exts -c Bug.hs 
  ghc-5.05: panic! (the `impossible' happened, GHC version 5.05):
applyTys

  Please report it as a compiler bug to [EMAIL PROTECTED],
  or http://sourceforge.net/projects/ghc/.

on this code:

  module Bug where

  type M3 a = forall r. (forall b. M3' b - (b - M3' a) - r) - r

  newtype M3' a
  = M3' { mkM3' :: M3 a }

  bind :: M3 a - (a - M3 b) - M3 b
  bind m k b = b (M3' m) (\a - M3' (k a))

  observe :: M3 a - a
  observe m
  = m (\m' k - mkM3' m'
(\bm k1 - observe (bind (mkM3' bm)
(\a - bind (mkM3' (k1 a)) (\a - mkM3' (k a)
)

Cheers,
Andrew Bromage
___
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs