June 2001 - Nhc-bugs - Haskell.org

error while compiling cvs nhc
by Vaclav Haisman 28 Jun '01

28 Jun '01

Hi, I tryed to compile nhc from cvs and it compiles part of it but stops at this: make: *** No rule to make target `src/prelude/Array/*.hc', needed by `targets/ix86-FreeBSD/prelude-gcc'. Stop. Vaclav Haisman PS: The system is FreeBSD-3.5 and the compiler is gcc-3.0.

2 1

Re: [nhc-users] ANNOUNCE: nhc98 1.06, incorporating Hat 1.06.
by C.Reinke 15 Jun '01

15 Jun '01

> This message announces a new release of the nhc98 compiler and the Hat > (Haskell Tracing) system. Version 1.06 is primarily a bugfix release, > correcting minor bugs and build problems with 1.04. It seems that one fix got for the Hat Makefile got lost (-lncurses at the start instead of the end of a linker command; undefined ncurses variable; a missing -lncurses for hat-detect). One might also want to change the ncurses variable to capitals, for consistency. Claus --- nhc98-1.06/src/tracer/hat/Makefile Fri Jun 1 14:13:44 2001 +++ Makefile Fri Jun 15 17:00:36 2001 @@ -48,7 +48,8 @@ # Thorsten's libraries and tools THORFLAGS = -g -LINKFLAGS = -lncurses -g +LINKFLAGS = -g +ncurses = -lncurses $(THOROBJS) : $(OBJDIR)/%.o : %.c $(CC) -c $(THORFLAGS) -o $@ $< @@ -63,7 +64,7 @@ $(OBJDIR)/nodelist.o : nodelist.h FunTable.h hatfileops.h Expressions.h $(OBJDIR)/detect.o : detect.h FunTable.h hatfileops.h Expressions.h nodelist.h hashtable.h $(DEST)/hat-detect: hat-detect.c $(OBJDIR)/hatfileops.o $(OBJDIR)/observe.o $(OBJDIR)/detect.o - $(CC) $(LINKFLAGS) hat-detect.c $(THOROBJS) \ + $(CC) $(LINKFLAGS) hat-detect.c $(THOROBJS) $(ncurses)\ -o $(DEST)/hat-detect $(DEST)/hat-observe: hat-observe.c $(OBJDIR)/observe.o $(OBJDIR)/hatfileops.o $(OBJDIR)/hashtable.o $(OBJDIR)/detect.o $(CC) $(LINKFLAGS) hat-observe.c $(THOROBJS) $(ncurses) \

2 1

A bug
by Wojciech Moczydlowski, Jr 11 Jun '01

11 Jun '01

5.hs: module Main where main = mapM_ putStrLn [ "echo " ++ show x ++ " | a.out " | x <- [1..]] [khaliff@90-mia-3 khaliff]$ hmake 5 nhc98 -c -o 5.o 5.hs nhc98 -o 5 5.o [khaliff@90-mia-3 khaliff]$ 5 > /dev/null hPutStr: internal error, not a cons-list! hPutStr: got CONSTRW src=0x401cc80c size=1 hPutStr: char='' [khaliff@90-mia-3 khaliff]$ nhc98 --version /usr/local/bin/nhc98: v1.04 (2001-05-21) [ config: ix86-Linux/ghc by khaliff(a)90-mia-3.acn.waw.pl on 25 May 2001 ] Wojciech Moczydlowski, Jr

2 2

Re: nhc-1.06 doesn't compile .c files
by Malcolm Wallace 11 Jun '01

11 Jun '01

> nhc-1.06 doesn't compile .c files I presume the .c file you want to compile is real hand-written C, not a compiler-generated intermediate file? If so, then yes, this was inadvertently broken in 1.06. A full patch is attached. > Changing CSUFFIX from "hc" to "c" in the nhc98 driver seems to fix this. Unfortunately, that is not a very safe fix - it will break a build via gcc. Better to undo that change and apply the patch below. (After applying, a ./configure is needed.) Regards, Malcolm diff -u -r1.26 nhc98.inst --- script/nhc98.inst 2001/06/04 15:10:29 1.26 +++ script/nhc98.inst 2001/06/11 10:11:57 @@ -304,19 +304,20 @@ while test $1 do + CSUF=$CSUFFIX case $1 in *.s ) UNLIT=""; HSRC=0; CSRC=0; SSRC=1; GR=0; BASENAME=`basename $1 .s` ;; *.hc ) UNLIT=""; HSRC=0; CSRC=1; SSRC=0; GR=0; - BASENAME=`basename $1 .hc` ;; + BASENAME=`basename $1 .hc` CSUF=hc ;; *.T.c ) UNLIT=""; HSRC=0; CSRC=1; SSRC=0; GR=0; - BASENAME=`basename $1 .T.c` ;; + BASENAME=`basename $1 .T.c` CSUF=T.c ;; *.p.c ) UNLIT=""; HSRC=0; CSRC=1; SSRC=0; GR=0; - BASENAME=`basename $1 .p.c` ;; + BASENAME=`basename $1 .p.c` CSUF=p.c ;; *.z.c ) UNLIT=""; HSRC=0; CSRC=1; SSRC=0; GR=0; - BASENAME=`basename $1 .z.c` ;; + BASENAME=`basename $1 .z.c` CSUF=z.c ;; *.c ) UNLIT=""; HSRC=0; CSRC=1; SSRC=0; GR=0; - BASENAME=`basename $1 .c` ;; + BASENAME=`basename $1 .c` CSUF=c ;; *.hs_ ) UNLIT=""; HSRC=1; CSRC=0; SSRC=0; GR=0; BASENAME=`basename $1 _.hs_` ;; *.gc ) UNLIT=""; HSRC=1; CSRC=0; SSRC=0; GR=1; @@ -342,10 +343,20 @@ TMPCPPPREFILE=$TMP/$BASENAME.$$.hs - CPPASFILE=$DIRNAME/$BASENAME.$CSUFFIX + if [ "$CSUF" != "$CSUFFIX" -a "$CSUF" != "c" ] + then + echo "Warning: compiling a .$CSUF file, but expected a .$CSUFFIX file" + echo " Ensure compiler options match the intended build type:" + echo " ordinary .hc" + echo " heap profiling -p .p.c" + echo " time profiling -t .z.c" + echo " tracing -T .T.c" + fi + + CPPASFILE=$DIRNAME/$BASENAME.$CSUF if test $CSRC -eq 0 then - TMPCPPASFILE=$TMP/$BASENAME.$$.$CSUFFIX + TMPCPPASFILE=$TMP/$BASENAME.$$.$CSUF else TMPCPPASFILE=$CPPASFILE fi

1 0

Java error when compiling nhc98-1.06
by Jose Romildo Malaquias 09 Jun '01

09 Jun '01

Hello. When compiling nhc98-1.06 in my Red Hat Linux 7.1 box I found the following errors: ==================================== [...] cd src/tracer/hoodui; make install make[1]: Entering directory `/home/romildo/rpms/BUILD/nhc98-1.06/src/tracer/hoodui' javac Message.java Message.java:36: cannot resolve symbol symbol : variable Hood location: class Message if (Hood.build == Hood.DEBUG) { ^ Message.java:36: cannot resolve symbol symbol : variable Hood location: class Message if (Hood.build == Hood.DEBUG) { ^ Message.java:54: cannot resolve symbol symbol : variable Hood location: class Message if (Hood.build == Hood.DEBUG) { ^ Message.java:54: cannot resolve symbol symbol : variable Hood location: class Message if (Hood.build == Hood.DEBUG) { ^ Message.java:62: cannot resolve symbol symbol : variable Hood location: class Message if (Hood.build == Hood.DEBUG) { ^ Message.java:62: cannot resolve symbol symbol : variable Hood location: class Message if (Hood.build == Hood.DEBUG) { ^ Message.java:72: cannot resolve symbol symbol : variable Hood location: class Message if (Hood.build == Hood.DEBUG) { ^ Message.java:72: cannot resolve symbol symbol : variable Hood location: class Message if (Hood.build == Hood.DEBUG) { ^ 8 errors make[1]: *** [Message.class] Error 1 make[1]: Leaving directory `/home/romildo/rpms/BUILD/nhc98-1.06/src/tracer/hoodui' make: *** [lib/hood.jar] Error 2 ==================================== I have tried both IBM JDK 1.3 and Sun JDK 1.3.1. Any help? Romildo -- Prof. José Romildo Malaquias <romildo(a)iceb.ufop.br> Departamento de Computação Universidade Federal de Ouro Preto Brasil

1 1

RE: [nhc-bugs] Build Error under nhc98
by Brent Fulgham 05 Jun '01

05 Jun '01

> > > When using the original nhc98 binaries I built from the > > > included C sources, I got a build error while building > > > ...../prelude/Binary/PutBits.gc > > > As it turns out, it seems that the correct answer is to set > > "SEARCH = ../$(MACHINE)" -- using ../IO caused segfaults later > > in the build (during the time profiling build). > > Thanks for reporting this apparent bug. I can't reproduce it here, > and it is not clear to me how your proposed solutions work. At first > glance, those particular changes to the search path should have no > effect on GreenCard. I suspect that there is something deeper and > more troubling going on. > Perhaps it is due to my nhc98 being built with the out-of-sync 'C' sources. If someone bootstrapped with ghc, perhaps they would not run into the problem at all? I'll have to try another bootstrap to see if it recurs. -Brent

1 0

RE: [nhc-bugs] Build Error under nhc98
by Brent Fulgham 05 Jun '01

05 Jun '01

> When using the original nhc98 binaries I built from the > included C sources, I got a build error while building > ...../prelude/Binary/PutBits.gc > > No C type decl for variable foreign in DIS: > Apply (Constructor "BH") [Apply (Declare "BinHandle" (Var > "bh")) [Apply (Var "foreign") [Exp "finaliseBH",Var "bh"]]] > greencard-nhc98 failed on ./PutBits.gc > make: *** > [/home/bfulgham/nhc98-1.04/targets/ix86-Linux/obj/prelude/Bina > ry/PutBits.o] Error 1 > As it turns out, it seems that the correct answer is to set "SEARCH = ../$(MACHINE)" -- using ../IO caused segfaults later in the build (during the time profiling build). All is well now, but I'm not sure what the "real" solution should be. Thanks, -Brent

2 1

Build Error under nhc98
by Brent A. Fulgham 03 Jun '01

03 Jun '01

When using the original nhc98 binaries I built from the included C sources, I got a build error while building ...../prelude/Binary/PutBits.gc Greencard complained about 'foreign' being an undefined: /home/bfulgham/nhc98-1.04/script/nhc98 -cpp -c +CTS -part -redefine -CTS -o /home/bfulgham/nhc98-1.04/targets/ix86-Linux/obj/prelude/Binary/PutBits.o PutBits.gc No C type decl for variable foreign in DIS: Apply (Constructor "BH") [Apply (Declare "BinHandle" (Var "bh")) [Apply (Var "foreign") [Exp "finaliseBH",Var "bh"]]] greencard-nhc98 failed on ./PutBits.gc make: *** [/home/bfulgham/nhc98-1.04/targets/ix86-Linux/obj/prelude/Binary/PutBits.o] Error 1 Comparing this directory with one in which "foreign" style functions compiled successfully, I found that the IO directory was omitted. This patch allows the build to complete successfully, though I don't know if it is the best possible fix. Thanks, -Brent =================================================================== *** Makefile.old Sun Jun 3 12:52:34 2001 --- Makefile Sun Jun 3 12:52:41 2001 *************** *** 1,7 **** include Makefile.inc THISLIB = Binary ! SEARCH = EXTRA_H_FLAGS = EXTRA_C_FLAGS = --- 1,7 ---- include Makefile.inc THISLIB = Binary ! SEARCH = -P../IO EXTRA_H_FLAGS = EXTRA_C_FLAGS =

1 0

Re: [nhc-bugs] cygwin, java and cygpath (and some arithmetic)
by C.Reinke 01 Jun '01

01 Jun '01

> > 2. I do not understand the order in which nhc-compiled code evaluates > > arithmetic expressions. > > Haskell does not specify the order of evaluation in this case. > > Hugs -> a a a a > ghc -> a a a a > hbc -> b b a a > nhc98-> a a b b > > I'm not even sure that ML specifies the order - since I believe > SML/NJ would give you all "a"s and O'Caml all "b"s. Personally, > I'm quite happy with the underspecification here, and in any case > it is only likely to be encountered by people who like programming > with exceptions. Actually, I think this could be a minor headache for profiling resource usage accross Haskell implementations. Even without using explicit exceptions, you might get unexpected resource exhaustion exceptions (even within a single compiler, just by switching default types?). The mini-example I gave came from a long chain of experiments that started out with an application of foldl. As a simple example, try using nhc's version of the Hood browser for something like import Observe main = printO $ observe "foldl" foldl (+) 0 [1..4::Int] and compare the proceedings with the screenshots and text in Andy Gill's Haskell2000 paper for the same example. I first looked at nhc's prelude definition of foldl, then came upon the idea of using error to get an instant report on the order, and looked at a simple addition, in case nhc might do its evaluation from right to left (of course, it doesn't, at least not for the default type of Integers..). I briefly played with the idea that nhc might use commutativity, based on types, but that didn't make sense, either, and it took quite a while before I suspected that the order might depend on types, *without* any deeper reasons behind the choice. > > Is this effect intensional? > > No. It just happened that way, in nhc98 at least. Btw, Standard ML has to specify the precise order of evaluation for everything (including records and declarations..), because of its use of side-effects. OCaml isn't SML (by design;-). I think Lisp specifies an order for parameter evaluation, Scheme explicitly specifies it as arbitrary. For all its shortcomings, I was surprised to find that Java has quite a bit of a specification (hard to read, but at least it has such a thing). It's just Haskell that is left behind (isn't it hilarious that the report talks about potential loss of sharing in two places without ever explaining how such sharing could come about in the first place? we just tend to assume so many things, but whenever I search for them in the Haskell report, they aren't there..). Regards, Claus

1 0

nhc98 bugs
by Ron Legere 01 Jun '01

01 Jun '01

Hi, I just built nhc98 v1.04, config:sparc-solaris2 This is an ultra-10 with solaris '8' on it. hi starts up ok, but when I try to type in any sort of expression it says [Compiling.. Bus Error (core dumped) and thats it. I also tried running nhc98 on ZooQuiz.hs but it returns a big mess.. probably because I dont have much of a clue on what options I need to set.: ==================================== Error when renaming:: Identifier Binary.<< used at 9:25 is not defined. (in overlap resolution) Identifier Binary.getBitsF used at 9:25 is not defined. (in overlap resolution) Identifier Binary.getF used at 9:25 is not defined. (in overlap resolution) Identifier Binary.sizeOf used at 9:25 is not defined. (in overlap resolution) Identifier Binary.getBits used at 9:25 is not defined. (in overlap resolution) Identifier Binary.putBits used at 9:25 is not defined. (in overlap resolution) Identifier Binary.get used at 9:25 is not defined. (in overlap resolution) Identifier Binary.put used at 9:25 is not defined. (in overlap resolution) Type class Binary.Binary used at 9:25 is not defined. (in overlap resolution)

2 1