Hi (Simon, Sigbjorn?),
I'm putting the static argument transformation (simplCore/SAT.lhs)
back to GHC 2.0899999999999999, which works as advertised but:
when it gets to code generation (codeGen/ClosureInfo.lhs) the
impossible happens.
panic! (the `impossible' happened):
fun_result_ty: 1 $x4_s1bF [$x0_ts1bH]
(a very helpful message indeed :( )
On the other hand when I compile the same file, with the same options
but -O on everything works fine.
I guess that the code generator is not prepared to work if lambda
lifting hadn't been done before...(which should have happened in the
first place as part of the final simplification anyway!)
Any clues?
Thanks, Laszlo
PS. If you want to have a look at the code I revived (it was commented
out before), it's in /grasp/laszlo/ghc/compiler/simplCore/SAT.lhs and
SATMonad.lhs.
