antecedent :: Rule -> Expression
antecedent r = case r of
..
Gc{} -> let x = grspe r in r `seq` Tm r
..
This looks wrong. The idea was to replace
Tm (grspe r)
(where the selection expression is put into Tm unevaluated) with
let x = grspe r
in x `seq` Tm x
ie,
Am Donnerstag, 15. Januar 2009 22:57 schrieb Han Joosten:
>
> I hardly use any let expressions (shame on me??) and I am not very familiar
> with them. But I figured out you might have mistaken, so I changed the bit
> to:
>antecedent :: Rule -> Expression
>antecedent r = case r of
>
Is it possible to run ghci monad actions from ghci command line somehow?
For example: I would like to check whether "it" variable is of type Bool
and whether it is True using normal Haskell code (i.e. not using ghci
commands starting with colon like :type :print).
Peter.
I wrote a little wrapper around ghc to see how what parameters were used:
ghc --make -odir "C:\prive\eclipseworkspace\ADL trunk\out" -hidir
"C:\prive\eclipseworkspace\ADL trunk\out" -o "C:\prive\eclipseworkspace\ADL
trunk\bin\ADL" -dcore-lint Main.hs
So this is only some paths and -dcore-lint. I r
That's a big set of modules, and I don't have eclipsefp. It'd be much easier
with a smaller test case.
But there may be no bug here. Compiling with -O certainly can give different
space behaviour. And as I mentioned, there's one place where it really will
generate different code.
Try this
a)
Is it possible to load one more module to ghci without unloading the
modules I have already loaded? The module I would like to load in
addtion is not installed and I do not want it installed. It is also
independent of any other modules. There is no dependency from the
modules already loaded to