"S.D.Mechveliani" wrote:
>
> 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
> ---------------------
Hi,
This is a known problem with Feb 00 Hugs98. Look at the "Bugs
and Features" page from htttp://www.haskell.org/hugs for
a patch.
If you have the sources to Hugs, can you try the patch, and
see if it solves the problem.
Andy Gill
