Internal Type Error

Jeffrey R. Lewis jeff@galconn.com
Thu, 09 Nov 2000 23:42:40 -0800


Leon Smith wrote:

> I'm using some Multi-parameter Type Classes with the November 1999 version
> of Hugs98 on Windows command-line version and getting the following internal
> type error:
>
> WinHugs simply chokes and dies.
>
> At one point, the hugs command-line version was accepting the code if I
> commented out the function definitions but left the constant data
> definition, but after restarting hugs, it seems to always get a internal
> type-check error.
> __   __ __  __  ____   ___      _________________________________________
> ||   || ||  || ||  || ||__      Hugs 98: Based on the Haskell 98 standard
> ||___|| ||__|| ||__||  __||     Copyright (c) 1994-1999
> ||---||         ___||           World Wide Web: http://haskell.org/hugs
> ||   ||                         Report bugs to: hugs-bugs@haskell.org
> ||   || Version: November 1999  _________________________________________
>
> Hugs mode: Restart with command line option +98 for Haskell 98 mode
>
> Reading file "C:\LANG\HUGS98\lib\Prelude.hs":
>
> Hugs session for:
> C:\LANG\HUGS98\lib\Prelude.hs
> Type :? for help
> Prelude> :l scripts/error.hs
> Reading file "scripts/error.hs":
> Type checking
> INTERNAL ERROR: findBtyvsInt
> Prelude>

This is a known problem with the Nov '99 release.  It's fixed in the Feb 2000
release.

--Jeff