Hi,
I received the following error while compiling via:
/usr/local/bin/ghc-4.01 -cpp -syslib posix -syslib misc -fglasgow-exts -fvia-C -I.
-ilts -iutils -ibasics -iccs -imain -ipa -ilogic -ihdirect -inoobj -Rghc-timing -H40m
-recomp -Iincludes -Iincludes/cbits -pgmcgcc-2.7.2 -DBEGIN_GHC_ONLY='-}'
-DEND_GHC_ONLY='{-' -DBEGIN_NOT_FOR_GHC='{-' -DEND_NOT_FOR_GHC='-}'
-DELSE_FOR_GHC='-}-}' -c main/Main.lhs -o main/Main.o
panic! (the `impossible' happened):
dsExpr: tuple pattern:
let { fail = patError __a (IO ()) __string "Main.lhs:540|case"
} in
case d7zE of B1 { (nstates, ntrans) ->
case > nstates a4lL of B1 {
True -> displaySizeResult outh sty id nstates ntrans; False -> fail
}
}
Please report it as a compiler bug to [EMAIL PROTECTED]
The part around line 540 of Main.lhs is
size rest menv@(MkMainEnv inh outh sty us penv muenv idenv actenv msize pt
showt davinci )
= readId rest menv >>= \ maybe_id ->
case maybe_id of
Nothing -> driver_loop menv
Just id -> forkComputation (do_it id) (driver_loop menv)
where do_it id = case sizeCWB msize penv (makeProcFromId id)
of (nstates, ntrans) | nstates > 0 -> displaySizeResult
outh sty id nstates ntrans
where the line 540 is the line with "where"
What's wrong??
Best regards,
Martin
--
-----------------------------------------------------------------------
| Martin Leucker | Address: |
| Department of Computer Science | Lehrstuhl fuer Informatik II |
| University of Technology Aachen | Ahornstr. 55 |
| Germany | D-52056 Aachen |
-----------------------------------------------------------------------
| Tel.: (office) +49/(0)241/80-21210 (private) +49/(0)241/877073 |
| Email: [EMAIL PROTECTED] Fax: +49/(0)241/8888217 |
-----------------------------------------------------------------------
