February 2002 - Nhc-bugs

Type checker bug
by Simon Marlow 18 Feb '02

18 Feb '02

The following module should elicit a type error: type T a = Int class C a where f :: a -> T a g :: T a -> a instance C Char main = print (g (f 'a')) but nhc98 compiles it without complaint. GHC & Hugs both emit an unresolved overloading error: test187.hs:9: Ambiguous type variable(s) `a' in the constraint `C a' arising from use of `g' at test187.hs:9 In the first argument of `print', namely `(g (f 'a'))' In the definition of `main': print (g (f 'a')) test187.hs:9: Ambiguous type variable(s) `a' in the constraint `Show a' arising from use of `print' at test187.hs:9 In the definition of `main': print (g (f 'a')) I believe nhc98's Binary library makes use of the same trick in its definition of the Bin type. The type synonym in the example should really be a newtype. Cheers, Simon

1 0

trouble building trace
by Stoney Jackson 14 Feb '02

14 Feb '02

Hello, I'm getting a lexer error from the greencard-nhc98 script when trying to make trace. I've been able to build basic, heapprofile, timeprofile, compiler, hmake, runtime, prelude, greencard, hp2graph. $ uname -a CYGWIN_NT-5.0 SALSERO 1.3.9(0.51/3/2) 2002-01-21 12:48 i686 unknown --------- make excerpt ------------- /home/jacksoni/dl/nhc98-1.10/script/hmake -nhc98 -K10M +CTS -H20M -CTS Hatobserve /home/jacksoni/dl/nhc98-1.10/targets/ix86-CYGWIN_NT-5.0/obj/hat/hatlib.a -d/ home/jacksoni/dl/nhc98-1.10/targets/ix86-CYGWIN_NT-5.0/obj/hat nhc98 +RTS -K10M -RTS +CTS -H20M -CTS -c -d /home/jacksoni/dl/nhc98-1.10/targets/ix86-CYGWIN_NT-5.0/obj/hat HatTrace.gc Lexical error: unrecognised input at line 183 col 45 greencard-nhc98 failed on ./HatTrace.gc make[1]: *** [/home/jacksoni/dl/nhc98-1.10/lib/ix86-CYGWIN_NT-5.0/hat-observe] E rror 1 make[1]: Leaving directory `/home/jacksoni/dl/nhc98-1.10/src/tracer/hat' make: *** [lib/ix86-CYGWIN_NT-5.0/hat-check] Error 2 --------- line 183 from ./src/tracer/hat/HatTrace.gc ----- %dis addr x = declare "void*" x in (%%Addr x) Column 45 of this line is the closing paren ')'. Any ideas? -- Stoney

2 1

compilation failure
by Dean Herington 08 Feb '02

08 Feb '02

I get a compilation failure with strange messages, as attached. Can you help? I can send source code if you want it. Dean Herington buzzard(108)% hi __ __ __ _____________________________________ || || ______ ___ || _ ____ hmake interactive (hi): ||___|| || || || ___|| ||/ ||__|| Copyright (c) May 2000 ||---|| || || || ||__|| ||\_ ||__ http://www.cs.york.ac.uk/fp/hmake/ || || Report bugs to: malcolm(a)cs.york.ac.uk || || Version: 2.02 (2001-02-08) ------------------------------------- ... Using compiler nhc98 ... Type :? for help [Std module... /stotts2/epa1/nhc98-1.08/rel/include/nhc98/Prelude.hi] Prelude> :l HUnit98Test [Std module... /stotts2/epa1/nhc98-1.08/rel/include/nhc98/Prelude.hi] [Found module... HUnit98Test.lhs] [Compiling...***instanceI(1) InfoUsedClass 254 [(Type class,HUnitClass.Charable,"edulerP",0)] (Leaf2 (90,([],[]))) ***instanceI(1) InfoUsedClass 254 [(Type class,HUnitClass.Charable,"edulerP",0)] (Leaf2 (90,([],[]))) Fail: infoDepend InfoUsedClass 254 [(Type class,HUnitClass.Charable,"edulerP",0)] (Leaf2 (90,([],[]))) ...failed] HUnit98Test>

2 1