On STGHugs-nov-99 (Linux i386-unknown glibc-2.0)
1.
It reports
...Cannot justify constraints in explicitly typed binding ...
*** Type : Field a => UPol a -> ...
*** Given context : Field a
*** Constraints : FactorizationRing (UPol a)
It renames the type variable from `k' to `a'.
Can this be corrected?
For, the type variables have their mnemonics in the user program,
similarly as the value variables often have.
2.
When loading my large project, after
hugs -98 +o -h2200000 +RTS -M24m -K1m -RTS
-P\{Hugs\}/lib:\{Hugs\}/lib/hugs:\{Hugs\}/lib/exts:source: ...
...
> :l T_
It loads many files and reports
...
Reading script "source/residue/ResRing__.hs":
Reading script "source/residue/ResRing_.hs":
Type checkingSegmentation fault
---------------------
After increasing -h to -h2900000 (2900K cells, cell = 8b ?)
it improves.
Probably, it has to report "memory exhausted ..."
instead of segmentation fault.
Besides, it seems that -h also defines the space for the programs.
How it refers to `+RTS -M ... -RTS' ?
Maybe, -h should agree with +RTS -M ... ?
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
