- Cvs-hugs - Haskell.org

problem of basic semantics and bindings
by vannex b. consad 01 May '01

01 May '01

i have a problem, pls. can u provide me with the answers of these things.. thank you very much... a. Assume the language Pascal, C, or Modula-2. Give as precise bindings times as you can for the following attributes, and give reasons for your answers: 1. the number of significant digits of a real number. 2. the meaning of char. 3. the size of array variable. 4. the size of an array parameter. 5. the location of a local variable. 6. the value of a constant. 7. the location of a function. b. Discuss the meaning of the following statement, early binding promotes security and efficiency, while late binding promotes flexibility and expressivenes.. c. Compare the advantages and disadvantages of Pascal's declaration before use rule with Modula-2's rule that extends the scope of a declaration to the entire block, regardless of its position in the block. d. Describe the bindings performed by a Pascal Forward declaration. why is such a declaration necessary? e. Describe the bindings performed by a C extern declaration. Why is such a declaration necessary? vannex:) Join 18 million Eudora users by signing up for a free Eudora Web-Mail account at http://www.eudoramail.com

1 0

cvs commit: hugs98/src compiler.c output.c
by Andy Gill 30 Apr '01

30 Apr '01

andy 2001/04/30 12:41:35 PDT Modified files: src compiler.c output.c Log: More changes toward having a good intermeduate output format from Hugs. Revision Changes Path 1.6 +81 -3 hugs98/src/compiler.c 1.18 +7 -8 hugs98/src/output.c

1 0

cvs commit: hugs98/src compiler.c output.c static.c type.c
by Andy Gill 26 Apr '01

26 Apr '01

andy 2001/04/26 18:00:36 PDT Modified files: src compiler.c output.c static.c type.c Log: First pass at producing machine readable supercombinator output. This output is used by the Snowball compiler. Revision Changes Path 1.5 +3 -3 hugs98/src/compiler.c 1.17 +116 -48 hugs98/src/output.c 1.35 +4 -4 hugs98/src/static.c 1.32 +4 -5 hugs98/src/type.c

1 0

cvs commit: hugs98/tests Readme
by Alastair Reid 24 Apr '01

24 Apr '01

reid 2001/04/24 19:42:32 PDT Modified files: tests Readme Log: Tweaked documentation Revision Changes Path 1.2 +8 -2 hugs98/tests/Readme

1 0

cvs commit: hugs98/tests Readme
by Alastair Reid 24 Apr '01

24 Apr '01

reid 2001/04/24 19:35:33 PDT Added files: tests Readme Log: Added documentation for testsuite

1 0

cvs commit: hugs98/tests testScript.in hugs98/tests/static mod75.output
by Alastair Reid 22 Apr '01

22 Apr '01

reid 2001/04/22 14:22:53 PDT Modified files: tests testScript.in tests/static mod75.output Log: Closing out this alleged error. Sigbjorn persuaded me that Hugs is consistent with the report. (I had checked the first bullet of section 5.5.1 of the report but had been distracted by the 2nd half of the bullet.) Revision Changes Path 1.3 +1 -1 hugs98/tests/testScript.in 1.2 +0 -1 hugs98/tests/static/mod75.output

1 0

cvs commit: hugs98/docs .cvsignore hugs98/src .cvsignore hugs98/src/unix .cvsignore
by Alastair Reid 21 Apr '01

21 Apr '01

reid 2001/04/21 13:02:31 PDT Added files: docs .cvsignore src .cvsignore src/unix .cvsignore Log: Added .cvsignore files - can't see what's new with all that noise from make/config-generated files

1 0

cvs commit: hugs98/tests/rts enum.output enum.output1 enum.output2 infix.output print1.output print2.output hugs98/tests/static mod61.output hugs98/tests/tcheck DictHW.output
by Alastair Reid 21 Apr '01

21 Apr '01

reid 2001/04/21 12:46:51 PDT Modified files: tests/rts enum.output enum.output1 enum.output2 infix.output print1.output print2.output tests/static mod61.output tests/tcheck DictHW.output Log: Closed out a number of errors being reported by the test suite by deciding that Hugs was behaving correctly in all cases and updating the expected output accordingly. Revision Changes Path 1.2 +4 -4 hugs98/tests/rts/enum.output 1.2 +4 -4 hugs98/tests/rts/enum.output1 1.2 +4 -4 hugs98/tests/rts/enum.output2 1.2 +1 -1 hugs98/tests/rts/infix.output 1.2 +6 -6 hugs98/tests/rts/print1.output 1.2 +6 -6 hugs98/tests/rts/print2.output 1.2 +1 -1 hugs98/tests/static/mod61.output 1.2 +4 -1 hugs98/tests/tcheck/DictHW.output

1 0

Re: cvs commit: hugs98/src subst.c
by Alastair Reid 21 Apr '01

21 Apr '01

> lewie 2001/04/18 10:01:53 PDT > > Modified files: > src subst.c > Log: > Expand type synonyms when looking for a Show instance at top-level. > > Revision Changes Path > 1.19 +3 -2 hugs98/src/subst.c Could you add an appropriate test to the test suite please? (Yeah, I know it's a bore but a big test suite makes maintenance much easier and with all of us having less and less time to do the full job...) [While on the subject, a few tests for implicit parameters would be great.] -- Alastair Reid reid(a)cs.utah.edu http://www.cs.utah.edu/~reid/

1 0

cvs commit: hugs98/lib/exts ConcBase.hs hugs98/tests/rts mvar.hs mvar.input mvar.output
by Alastair Reid 21 Apr '01

21 Apr '01

reid 2001/04/21 11:23:24 PDT Modified files: lib/exts ConcBase.hs tests/rts mvar.hs mvar.input mvar.output Log: Implemented the new GHC putMVar semantics and updated test suite Revision Changes Path 1.7 +32 -18 hugs98/lib/exts/ConcBase.hs 1.2 +18 -1 hugs98/tests/rts/mvar.hs 1.2 +1 -0 hugs98/tests/rts/mvar.input 1.2 +4 -1 hugs98/tests/rts/mvar.output

1 0

cvs commit: hugs98/lib/exts ConcBase.hs
by Alastair Reid 20 Apr '01

20 Apr '01

reid 2001/04/20 17:18:30 PDT Modified files: lib/exts ConcBase.hs Log: 2nd (and last) commit in this series. Added new MVar operations: tryTakeMVar and tryPutMVar. These have not been tested very thoroughly. We need one other change to make Hugs fully compatible with GHC: GHC recently(?) changed the behaviour of putMVar on a full variable. This used to raise an exception but now it's supposed to block. This is going to take a little pondering. At the moment, an MVar is: newtype MVar a = MkMVar (IORef (Either a [a -> IOResult])) That is, it's either full or it's a (possibly empty) queue of blocked threads. To accomodate the new semantics, it should change to something like: newtype MVar a = MkMVar (IORef (Either (a, [(a,IOResult)]) [a -> IOResult])) where Left (x, ts) represents a full mvar with a (possibly empty) list ts of blocked putters (and the values they want to put). Right ts represents an empty mvar with a (possibly empty) list ts which want to receive a value. Then we have to make putMVar block - with luck the mechanism used to block in takeMVar will work. And then we have to ponder the question of fairness: My original MVar implementation made no attempt to unblock threads in the same order as they had blocked. In fact, they could be unblocked in exactly the opposite order from the order in which they had blocked. At the time, I argued that this was the correct behaviour since it was so manifestly unfair that no-one was going to be fooled into believing that Hugs' "scheduler" was fair. I felt this was a good idea because it just wasn't possible to achieve fairness with a non-preemptive implementation and I'd rather have my code always fail than occasionally fail. But the moment my back was turned (:-)), the OGI folks made MVars fairer. I imagine they much have had a reason to do this ... Maybe I should preserve this fairness in the interest of not breaking anything. [Incidentally, a recent bug report on the ghc list suggests that ghc's MVars aren't fair either. This code: forkIO (mapM_ putChar as) >> forkIO (mapM_ putChar bs) where as = 'a':as; bs = 'b':bs will output either all as or all bs. It seems that 'mapM putChar as' spends almost all its time inside a mutex (protecting the stdout object) and that when 'mapM putChar bs' tries to acquire the same lock, it always fails. The GHC folk are considering changing putMVar (I think) to consider preempting if there were any threads blocked on the mvar. ] Revision Changes Path 1.6 +42 -1 hugs98/lib/exts/ConcBase.hs

1 0

cvs commit: hugs98/lib/exts Exception.hs
by Alastair Reid 20 Apr '01

20 Apr '01

reid 2001/04/20 16:42:56 PDT Modified files: lib/exts Exception.hs Log: This is one of two commits aimed at reducing the gap between Hugs-supplied libraries and their GHC counterparts. The ultimate goal is to make the fptools/hslibs libraries work with Hugs. Progress towards this goal: all hslib libraries work (== are loaded without error by Hugs) except those which use casm/ccall (net and posix) and the ffi-related hslib/lang libraries which are usually wafer-thin layers over the ghc Prelude code. (Commits to hslib have not yet been done - waiting for the hslib folk to give me the nod.) This particular commit brings Hugs into line with the very recent (and very welcome) changes to the Exception API and includes dummy (nullop) implementations of block and unblock whose use pervades the hslib libraries. Revision Changes Path 1.3 +39 -24 hugs98/lib/exts/Exception.hs

1 0

cvs commit: hugs98/src subst.c
by Jeff Lewis 18 Apr '01

18 Apr '01

lewie 2001/04/18 10:01:53 PDT Modified files: src subst.c Log: Expand type synonyms when looking for a Show instance at top-level. Revision Changes Path 1.19 +3 -2 hugs98/src/subst.c

1 0

cvs commit: hugs98/lib Quote.hs hugs98/lib/hugs Quote.hs
by Jeff Lewis 16 Apr '01

16 Apr '01

lewie 2001/04/16 17:48:34 PDT Added files: lib/hugs Quote.hs Removed files: lib Quote.hs Log: Moving about to conform to ISO hugs98 standard.

1 0

cvs commit: hugs98/lib Quote.hs
by Jeff Lewis 16 Apr '01

16 Apr '01

lewie 2001/04/13 22:45:37 PDT Modified files: lib Quote.hs Log: Add instances for several builtins. Revision Changes Path 1.2 +18 -0 hugs98/lib/Quote.hs

2 1

cvs commit: hugs98/tests testScript.in hugs98/tests/libs except1.hs except1.input except1.output prodcon.hs prodcon.input prodcon.output testAddr.hs hugs98/tests/misc ioerror1.hs ioerror1.input ioerror1.output ioerror2.hs ioerror2.input ...
by Alastair Reid 07 Apr '01

07 Apr '01

reid 2001/04/07 15:04:25 PDT Modified files: tests testScript.in Added files: tests/libs except1.hs except1.input except1.output prodcon.hs prodcon.input prodcon.output testAddr.hs tests/rts ioerror1.hs ioerror1.input ioerror1.output ioerror2.hs ioerror2.input ioerror2.output mutvars.hs mutvars.input mutvars.output mvar.hs mvar.input mvar.output primexc.hs primexc.input primexc.output refs.hs refs.input refs.output Removed files: tests/misc ioerror1.hs ioerror1.input ioerror1.output ioerror2.hs ioerror2.input ioerror2.output mutvars.hs mutvars.input mutvars.output mvar.hs mvar.input mvar.output refs.hs refs.input refs.output Log: Revived some more of the tests - now checks mutable variables and concurrency too. Added tests for the exception-handling code and, especially, its interactions with threads. Revision Changes Path 1.2 +18 -53 hugs98/tests/testScript.in

1 0

cvs commit: hugs98/src/unix configure configure.in hugs98/tests .cvsignore runstdtest testScript.in hugs98/tests/demos Loaded.output hugs98/tests/libs Addr.input Addr.output FixIO.input FixIO.lhs FixIO.output HugsLibs.output Loaded.output ...
by Alastair Reid 07 Apr '01

07 Apr '01

reid 2001/04/07 12:09:24 PDT Modified files: src/unix configure configure.in Added files: tests .cvsignore runstdtest testScript.in tests/demos Loaded.output tests/libs Addr.input Addr.output FixIO.input FixIO.lhs FixIO.output HugsLibs.output Loaded.output complex1.input complex1.output intTest.hs intTest.input intTest.output list1.hs list1.input list1.output system1.hs system1.input system1.output tests/misc DictHW.hs T1.hs T4.hs T6.hs gc.hs gc1.input gc1.output gc2.input gc2.output ioerror1.hs ioerror1.input ioerror1.output ioerror2.hs ioerror2.input ioerror2.output iohandle.hs iohandle.input iohandle.output iohandle.tst mutvars.hs mutvars.input mutvars.output mvar.hs mvar.input mvar.output ptrEq.hs ptrEq.input ptrEq.output refs.hs refs.input refs.output runst.hs testDebug.hs testcvar.hs unwritable.tst tests/rts arith.hs arith.input arith.output array1.input array1.output array2.hs array2.input array2.output arrayEx.hs arrayEx.input arrayEx.output arrayt.hs bignums.hs bignums.input bignums.output catch.hs catch.input catch.output catch2.hs catch2.output enum.hs enum.input enum.output enum.output1 enum.output2 infix.hs infix.input infix.output maxint.hs maxint.input maxint.output ord.hs ord.input ord.output print.hs print.input print1.output print2.output read.hs read.input read.output testlist.hs testlist.input testlist.output tests/static Loaded.output T1.hs T2.hs T2.output T3.hs T3.output T6.hs T7.hs export1.hs export1.output mod1.hs mod1.output mod10.hs mod10.output mod11.hs mod11.output mod12.hs mod12.output mod13.hs mod13.output mod14.hs mod14.output mod15.hs mod15.output mod16.hs mod16.output mod17.hs mod17.output mod18.hs mod18.output mod19.hs mod19.output mod2.hs mod2.output mod20.hs mod20.output mod21.hs mod21.output mod22.hs mod22.output mod23.hs mod23.output mod24.hs mod24.output mod25.hs mod25.output mod26.hs mod26.output mod27.hs mod27.output mod28.hs mod28.output mod29.hs mod29.output mod3.hs mod3.output mod30.hs mod30.output mod31.hs mod31.output mod32.hs mod32.output mod33.hs mod33.output mod34.hs mod34.output mod35.hs mod35.output mod36.hs mod36.output mod37.hs mod37.output mod38.hs mod38.output mod39.hs mod39.output mod4.hs mod4.output mod40.hs mod40.output mod41.hs mod41.output mod42.hs mod42.output mod43.hs mod43.output mod44.hs mod44.output mod45.hs mod45.output mod46.hs mod46.output mod47.hs mod47.output mod48.hs mod48.output mod49.hs mod49.output mod5.hs mod5.output mod50.hs mod50.output mod51.hs mod51.output mod52.hs mod52.output mod53.hs mod53.output mod54.hs mod54.output mod55.hs mod55.output mod56.hs mod56.output mod57.hs mod57.output mod58.hs mod58.output mod59.hs mod59.output mod6.hs mod6.output mod60.hs mod60.output mod61.hs mod61.output mod62.hs mod62.output mod63.hs mod63.output mod64.hs mod64.output mod65.hs mod65.output mod66.hs mod66.output mod67.hs mod67.output mod68.hs mod68.output mod69.hs mod69.output mod7.hs mod7.output mod70.hs mod70.output mod71.hs mod71.output mod72.hs mod72.output mod73.hs mod73.output mod74.hs mod74.output mod75.hs mod75.output mod76.hs mod76.output mod77.hs mod77.output mod78.hs mod78.output mod79.hs mod79.output mod8.hs mod8.output mod80.hs mod80.output mod81.hs mod81.output mod82.hs mod82.output mod83.hs mod83.output mod84.hs mod84.output mod85.hs mod85.output mod86.hs mod86.output mod87.hs mod87.output mod88.hs mod88.output mod89.hs mod89.output mod9.hs mod9.output mod90.hs mod90.output mod91.hs mod91.output mod92.hs mod92.output mod93.hs mod93.output mod94.hs mod94.output mod95.hs mod95.output mod96.hs mod96.output mod97.hs mod97.output mod98.hs mod98.output qual1.hs qual1.output qual2.hs qual2.output qual3.hs qual3.output qual4.hs qual4.output qual5.hs qual5.output syntax.hs syntax.output tests/tcheck DictHW.input DictHW.output DictHW1.hs DictHW2.hs TyErr.hs TyErr.output dicts.hs dicts.input dicts.output monad.hs monad.output ty1.hs ty1.output ty2.hs ty2.output types.hs types.output Log: Added the old testsuite from the Yale releases. Beats me why this was deleted from the OGI release. What were they thinking? To run tests: cd hugs98/src/unix ./configure cd .. make hugs cd ../tests sh ./testScript static tcheck rts libs demos Once you get bored of seeing all the successful tests (yahoo!), you can use this to restrict output to the failures: sh ./testScript static tcheck rts libs demos | grep -v '^--' [If I remember correctly, configuring with readline doesn't work. Also note that you have to rerun configure to build tests/testScript.] About the test harness ~~~~~~~~~~~~~~~~~~~~~~ The test harness is very portable. It even runs on Windows though you have to install perl and cygwin to be able to run the tests. The core of the test harness is the program runstdtest - a hacked up version of a similar script from the GHC distro. This runs Hugs over some input and compares the output against a file containing the "correct" output. Hugs generates a bunch of noise (banners, list of modules being loaded, etc.) before generating the interesting part of the output so we tell runstdtest to ignore the first N lines of output using the -s<N> flag. If you change the length of the banner or the module structure you will have to change all these -s flags (this is a bit tedious - better solutions welcome). About the test suite ~~~~~~~~~~~~~~~~~~~~ The testsuite itself is a little out of date. There was a time when it checked every single error in static.c but this is probably not true now. In particular, there are no tests which check the +98 errors. I have updated the sample output files to match current output except in cases where it wasn't clear if the current output was an error or intended behaviour. Here's a list of the potential errors that may need to be fixed. ---------------------------------------------------------------- Hugs used to detect an error in static/mod39.hs and no longer does. I don't know if this is kosher. ./../src/hugs +q -pHugs: static/mod39.hs < /dev/null expected stdout not matched by reality *** static/mod39.output Fri Apr 6 18:05:40 2001 --- /tmp/runtest14605.3 Sat Apr 7 12:18:34 2001 *************** *** 1,2 **** ! ERROR static/mod39.hs:3 - Illegal constraints on class variable "a" in type of member function "f" Hugs:[Leaving Hugs] --- 1,6 ---- ! ! Hugs session for: ! ../lib/Prelude.hs ! static/mod39.hs ! Type :? for help Hugs:[Leaving Hugs] ---------------------------------------------------------------- Parentheses have been added in this error message. I guess that's ok. ./../src/hugs +q -pHugs: static/mod61.hs < /dev/null expected stdout not matched by reality *** static/mod61.output Fri Apr 6 18:05:40 2001 --- /tmp/runtest14914.3 Sat Apr 7 12:18:38 2001 *************** *** 1,2 **** ! ERROR static/mod61.hs:3 - Ambiguous use of operator "==" with "==" Hugs:[Leaving Hugs] --- 1,2 ---- ! ERROR static/mod61.hs:3 - Ambiguous use of operator "(==)" with "(==)" Hugs:[Leaving Hugs] ---------------------------------------------------------------- Hugs used to report an error in mod75.hs. This module refers to a local variable by its qualified name. I'm not sure if this is legal in Haskell'98 ./../src/hugs +q -pHugs: static/mod75.hs < /dev/null expected stdout not matched by reality *** static/mod75.output Fri Apr 6 18:05:40 2001 --- /tmp/runtest15111.3 Sat Apr 7 12:18:41 2001 *************** *** 1,2 **** ! ERROR static/mod75.hs:3 - Undefined qualified variable "M.f" Hugs:[Leaving Hugs] --- 1,6 ---- ! ! Hugs session for: ! ../lib/Prelude.hs ! static/mod75.hs ! Type :? for help Hugs:[Leaving Hugs] ---------------------------------------------------------------- tcheck/DictHW{1,2}.hs and tcheck/DictHW.input check for an old (fixed) error in the manipulation of dictHw when a module compilation aborts due to a type error. I'm a little surprised by the change in the error message. It doesn't look like unresolved top-level overloading to me. It looks like Int not being an instance of Fractional. ./../src/hugs -w +q -pHugs: < tcheck/DictHW.input expected stdout not matched by reality *** tcheck/DictHW.output Sat Apr 7 12:05:25 2001 --- /tmp/runtest15588.3 Sat Apr 7 12:18:49 2001 *************** *** 1,3 **** Hugs:Hugs:Reading file "DictHW.hs": ! ERROR DictHW.hs:4 - Int is not an instance of class "Fractional" Hugs:Hugs:Reading file "DictHW.hs": --- 1,6 ---- Hugs:Hugs:Reading file "DictHW.hs": ! ERROR DictHW.hs:4 - Unresolved top-level overloading ! *** Binding : g ! *** Outstanding context : Fractional Int ! Hugs:Hugs:Reading file "DictHW.hs": ---------------------------------------------------------------- If you use "show" to print data constructors, you get the expected output: True, False, Just 42, etc. But if you use the builtin printer ('hugs -u' or in error messages), the constructors are prefixed by the name of the type: Bool_True, Bool_False, Maybe_Just 42, etc. Is this better? Do we want this behaviour in both the generic printer and in error messages? Do we care? ./../src/hugs +q -pHugs: -u rts/print.hs < rts/print.input expected stdout not matched by reality *** rts/print1.output Fri Oct 10 14:45:19 1997 --- /tmp/runtest15633.3 Sat Apr 7 12:18:51 2001 *************** *** 60,63 **** Hugs:[1] ! Hugs:True ! Hugs:False Hugs:('a','b') --- 60,63 ---- Hugs:[1] ! Hugs:Bool_True ! Hugs:Bool_False Hugs:('a','b') *************** *** 67,72 **** ! Hugs:R 1 ! Hugs:L 'a' ! Hugs:J True ! Hugs:N Hugs:[Leaving Hugs] --- 67,72 ---- ! Hugs:E_R 1 ! Hugs:E_L 'a' ! Hugs:M_J Bool_True ! Hugs:M_N Hugs:[Leaving Hugs] --!!! Testing top level printer (note that this doesn't necessarily test show) ./../src/hugs +q -pHugs: -u -f rts/print.hs < rts/print.input expected stdout not matched by reality *** rts/print2.output Tue Apr 21 16:20:03 1998 --- /tmp/runtest15648.3 Sat Apr 7 12:18:52 2001 *************** *** 39,42 **** Hugs:[1] ! Hugs:True ! Hugs:False Hugs:('a','b') --- 39,42 ---- Hugs:[1] ! Hugs:Bool_True ! Hugs:Bool_False Hugs:('a','b') *************** *** 44,49 **** Hugs:(1,{error "foo"},3) ! Hugs:R 1 ! Hugs:L 'a' ! Hugs:J True ! Hugs:N Hugs:[Leaving Hugs] --- 44,49 ---- Hugs:(1,{error "foo"},3) ! Hugs:E_R 1 ! Hugs:E_L 'a' ! Hugs:M_J Bool_True ! Hugs:M_N Hugs:[Leaving Hugs] --!!! Testing top level printer (note that this doesn't necessarily test show) ./../src/hugs +q -pHugs: -u rts/enum.hs < rts/enum.input expected stdout not matched by reality *** rts/enum.output1 Fri Apr 6 20:16:12 2001 --- /tmp/runtest15663.3 Sat Apr 7 12:18:53 2001 *************** *** 9,14 **** Hugs: ! Program error: {_ToEnum C1 (-1)} Hugs: ! Program error: {_ToEnum C1 7} --- 9,14 ---- Hugs: ! Program error: {_ToEnum T_C1 (-1)} Hugs: ! Program error: {_ToEnum T_C1 7} *************** *** 17,22 **** Hugs: ! Program error: {_ToEnum C1 7} Hugs: ! Program error: {_ToEnum C1 (-1)} --- 17,22 ---- Hugs: ! Program error: {_ToEnum T_C1 7} Hugs: ! Program error: {_ToEnum T_C1 (-1)} --!!! Testing Enum ./../src/hugs +q -pHugs: -u rts/infix.hs < rts/infix.input expected stdout not matched by reality *** rts/infix.output Fri Oct 10 14:43:41 1997 --- /tmp/runtest15678.3 Sat Apr 7 12:18:53 2001 *************** *** 1,2 **** ! Hugs:Scale (Note :+: Note) Hugs:"Scale (Note :+: Note)" --- 1,2 ---- ! Hugs:Music_Scale (Music_Note Music_:+: Music_Note) Hugs:"Scale (Note :+: Note)" --!!! Testing the printing of infix constructors ./../src/hugs +q -pHugs: +u rts/enum.hs < rts/enum.input expected stdout not matched by reality *** rts/enum.output2 Fri Apr 6 20:15:15 2001 --- /tmp/runtest15693.3 Sat Apr 7 12:18:54 2001 *************** *** 9,14 **** Hugs:" ! Program error: {_ToEnum C1 (-1)} Hugs:" ! Program error: {_ToEnum C1 7} --- 9,14 ---- Hugs:" ! Program error: {_ToEnum T_C1 (-1)} Hugs:" ! Program error: {_ToEnum T_C1 7} *************** *** 17,22 **** Hugs:" ! Program error: {_ToEnum C1 7} Hugs:" ! Program error: {_ToEnum C1 (-1)} --- 17,22 ---- Hugs:" ! Program error: {_ToEnum T_C1 7} Hugs:" ! Program error: {_ToEnum T_C1 (-1)} Revision Changes Path 1.7 +4 -4 hugs98/src/unix/configure 1.7 +3 -3 hugs98/src/unix/configure.in

1 0

cvs commit: hugs98 Readme
by Alastair Reid 07 Apr '01

07 Apr '01

reid 2001/04/07 11:39:26 PDT Modified files: . Readme Log: Corrected a small typo: s/distriution/distribution/ (btw, There used to be a file which documented the forall/exists extensions to Hugs. Seems to me that that file should be in hugs98/docs - but maybe that information migrated into the LaTeX documentation?) Revision Changes Path 1.12 +1 -1 hugs98/Readme

1 0

cvs commit: hugs98/lib/exts Word.hs
by Alastair Reid 07 Apr '01

07 Apr '01

reid 2001/04/07 11:36:33 PDT Modified files: lib/exts Word.hs Log: The enum instance for Word32 suffered from numeric overflow. That is, these expressions: [maxBound .. ] :: [Word32] [maxBound .. maxBound] :: [Word32] should both have length 1 but the length seemed to be closer to 2^32 (I got bored before it got that far though). I'm not completely happy with my fix (it's a little clunky) but at least it works now. (If I was a good Haggis, I'd go look at how GHC, NHC and HBC handle this.) The Int instance suffers from the same problem but, in that case, the correct behaviour (at least for the first example) is probably to raise an error or to give an infinite list (which it does) not to give a finite list. Revision Changes Path 1.4 +26 -4 hugs98/lib/exts/Word.hs

1 0

cvs commit: hugs98/src static.c
by Alastair Reid 07 Apr '01

07 Apr '01

reid 2001/04/07 11:28:44 PDT Modified files: src static.c Log: Whilst reviving the old test suite, I found some error messages whose first word wasn't capitalised. This fixes this inconsistency. (There may be others - didn't look elsewhere.) Revision Changes Path 1.34 +7 -7 hugs98/src/static.c

1 0

cvs commit: hugs98/lib Prelude.hs hugs98/lib/exts ConcBase.hs
by Alastair Reid 03 Apr '01

03 Apr '01

reid 2001/04/03 12:48:49 PDT Modified files: lib Prelude.hs lib/exts ConcBase.hs Log: Never, ever, make a last minute cleanup as you're about to commit and fail to test it! :-) Moved blockIO from ConceBase back into Prelude. The alternative is to export toObj/fromObj (unsafe coercions) from Prelude - not attractive. Revision Changes Path 1.9 +7 -1 hugs98/lib/Prelude.hs 1.5 +0 -6 hugs98/lib/exts/ConcBase.hs

1 0

cvs commit: hugs98/lib Prelude.hs hugs98/lib/exts ConcBase.hs
by Alastair Reid 03 Apr '01

03 Apr '01

reid 2001/04/03 12:29:27 PDT Modified files: lib Prelude.hs lib/exts ConcBase.hs Log: When a thread blocks on an MVar, we have to take the complete state of the thread and store it in the MVar. This used to be easy because the state was all in the success continuation but exception handlers live on the stack so we have to unwind the stack making a list of all the exception handlers and store that list of exception handlers into the MVar too. This is done by returning a Hugs_BlockThread object. When catch sees one of these, it adds a Hugs_Catch into the object and returns Hugs_BlockThread again. Eventually, this gets up to the top thread loop which, finally, does the write into the MVar. Trivial changes: o Improved error messages if a forked thread ends in error or exception o Replaced the word "process" with "thread" in comments. "process" implies some measure of isolation (namespace, heap, file descriptors, etc.) whereas "thread" just impliues a separate thread of control. These are _not_ processes! [Hey, I work on operating systems these days - they're fussy about these definitions.] Revision Changes Path 1.8 +8 -3 hugs98/lib/Prelude.hs 1.4 +10 -10 hugs98/lib/exts/ConcBase.hs

1 0

cvs commit: hugs98/lib/exts Exception.hs
by Alastair Reid 03 Apr '01

03 Apr '01

reid 2001/04/03 12:19:10 PDT Modified files: lib/exts Exception.hs Log: Added Exception.finally Revision Changes Path 1.2 +4 -0 hugs98/lib/exts/Exception.hs

1 0

cvs commit: hugs98/src type.c
by Alastair Reid 02 Apr '01

02 Apr '01

reid 2001/04/02 20:00:07 PDT Modified files: src type.c Log: Applied Julian Seward's bugfix (from Feb 25th) Revision Changes Path 1.31 +3 -2 hugs98/src/type.c

1 0

cvs commit: hugs98/src parser.y
by Alastair Reid 02 Apr '01

02 Apr '01

reid 2001/04/02 19:56:36 PDT Modified files: src parser.y Log: Applied Sigbjorn's bugfix for the parser. (Without this fix, you can't load lib/exts/Int.hs. I guess it should be added to the mythical test suite. Which reminds me... what happened to the test suite? We used to have one. I think it was in hugs/src/tests. A (admittedly superficial) search failed to reveal it.) Revision Changes Path 1.16 +11 -6 hugs98/src/parser.y

1 0

RE: cvs commit: hugs98/lib Prelude.hs hugs98/lib/exts Exception.hs ConcBase.hs
by Simon Marlow 02 Apr '01

02 Apr '01

> One big difference is that, because IOError handling is handled > separately from HugsExceptions, we can't readily implement > > throw :: Exception -> a > > But we can provide > > throwIO :: Exception -> IO a > > (which I'll try to persuade the GHC people to ask to their > implementation). This is called 'ioError' in GHC, because the Exception type is now a synonym for IOError (in GHC 5.00). This makes it easier to port code that uses IOErrors to use Exceptions - the Exception interface is just an extension of the existing IOError interface. Cheers, Simon

1 0

RE: cvs commit: hugs98/src builtin.c
by Simon Marlow 02 Apr '01

02 Apr '01

> reid 2001/04/01 21:24:13 PDT > > Modified files: > src builtin.c > Log: > This is a bogus commit because I just accidentally > committed all files > instead of just machdep.c (and I can't remember the cvs > magic to undo > it). $ cvs up -j<new> -j<old> <file1> $ cvs up -j<new> -j<old> <file2> $ etc. $ cvs commit -m "undo bogus commit" <file1> <file2> ... where <new> and <old> are the new and old revisions of the file (eg. if the last commit was revision 1.3, then <new>=1.3 and <old>=1.2). Alternatively, use a "forced commit" (cvs commit -f) to add the correct log message to each of the committed files. Cheers, Simon

1 0

cvs commit: hugs98/lib Prelude.hs hugs98/lib/exts Exception.hs ConcBase.hs
by Alastair Reid 02 Apr '01

02 Apr '01

reid 2001/04/01 21:51:23 PDT Modified files: lib Prelude.hs lib/exts ConcBase.hs Added files: lib/exts Exception.hs Log: Even if the previous commits are bad, things should still work because I haven't changed anything in the normal evaluation path. This set of commits had better work though! Prelude.hs: There's now two kinds of exception: IOError and HugsException. IOErrors are propagated using the normal continuation passing mechanisms - exception handlers are chained together on the heap. (This stuff is unchanged. Changing that would require changes to greencard and every IO primop in Hugs.) HugsExceptions are propagated using longjmp, etc. Exception handlers are piled up on the stack. But, what happens when we have to do a context switch (e.g., a call to Concurrency.yield or Concurrency.takeMVar)? We have to remember all the HugsException catches so that we can restore them when we switch back to that thread. This is what Hugs_Catch is for - it remembers which exception handlers we have to reinstall on the stack when we switch back to the thread. (btw, The type names, constructors, etc. associated with IOResult, etc. really ought to be renamed so they have the word "Hugs" or "prim" in them for the usual namespace-contamination reasons.) ConcBase.hs: Some minor organisation and layout changes - trying to restore a consistent style. Also, forkIO has to make sure that every thread contains both an IOError handler and HugsException handler. new file exts/Exceptions.hs: A (very) cut-down implementation of GHC's Exception module. One big difference is that, because IOError handling is handled separately from HugsExceptions, we can't readily implement throw :: Exception -> a But we can provide throwIO :: Exception -> IO a (which I'll try to persuade the GHC people to ask to their implementation). The other big difference is that GHC's Exception datatype has many constructors for different kinds of errors. Implementing this would require extensive changes to any primops which can raise exceptions - lots of changes. So, instead, you get a HugsException and you can convert it to a string and, if you see fit, try to parse the string. I didn't add GHC's assertions - so they're left out. Adding Dynamic exceptions looked tricky and didn't seem like a pressing need so I left them out. Revision Changes Path 1.7 +32 -1 hugs98/lib/Prelude.hs 1.3 +14 -9 hugs98/lib/exts/ConcBase.hs

1 0

cvs commit: hugs98/src builtin.c
by Alastair Reid 02 Apr '01

02 Apr '01

reid 2001/04/01 21:24:13 PDT Modified files: src builtin.c Log: This is a bogus commit because I just accidentally committed all files instead of just machdep.c (and I can't remember the cvs magic to undo it). So here's what all those committed files did: interns.c: The old file interns.c (which is usually ifdef'd out) provides access to a bunch of Hugs internals. This provided a primitive: catchException2 :: a -> Either Cell a where Cell is an error object. The only change here is a fix to the implementation. It couldn't possibly work the way it was - which leaves me wondering what happened to it. builtin.c: Put a (fixed) copy of catchException2 here and added throwException data HugsException primitive primCatchException :: a -> Either HugsException a primitive primThrowException :: HugsException -> a Note that using these directly would break referential transparency. To fix that, one or the other (doesn't matter) ought to be in the IO monad. But there's difficult interactions with the thread implementation (that's what the fuss is about after all!) so we provide the unsafe versions here and wrap them up before exporting them. Incidentally, notice that these names (which have to be exported from the Prelude and so pollute the user's namespace) either include the word "hugs" or starts with the word "prim". printer.c: Added a primop for printing Hugs exception objects primitive primShowException :: HugsException -> String It originally had type: primitive primShowException :: HugsException -> ShowS but printDBadRedex ignores its second argument when printing error objects. Revision Changes Path 1.12 +3 -3 hugs98/src/builtin.c

1 0

cvs commit: hugs98/src builtin.c interns.c machdep.c printer.c storage.h
by Alastair Reid 02 Apr '01

02 Apr '01

reid 2001/04/01 21:05:13 PDT Modified files: src builtin.c interns.c machdep.c printer.c storage.h Log: Minor cleanup to kill a gcc warning. If you use /* ... */ to comment out code that includes a comment, gcc will complain. If you use #if 0 ... #endif, to comment out code, it nests properly and gcc has no cause for complaint. Revision Changes Path 1.11 +43 -5 hugs98/src/builtin.c 1.5 +3 -3 hugs98/src/interns.c 1.15 +6 -4 hugs98/src/machdep.c 1.5 +16 -4 hugs98/src/printer.c 1.18 +2 -4 hugs98/src/storage.h

1 0

cvs commit: hugs98/lib/exts IOExts.hs
by Alastair Reid 02 Apr '01

02 Apr '01

reid 2001/04/01 21:00:15 PDT Modified files: lib/exts IOExts.hs Log: Fixed style of error messages for consistency with Prelude and standard libraries. In error messages, we should use a legal qualified name like IOExts.fixIO not IOExts:fixIO (Incidentally, because of the way fixIO is implemented, calling fork in fixIO won't work too well: the call to fixIO can't terminate until all forked threads terminate. I think this can be fixed - though it might require changes in the thread implementation in the Prelude.) Revision Changes Path 1.3 +2 -2 hugs98/lib/exts/IOExts.hs

1 0

cvs commit: hugs98/src input.c prelude.h
by nordland＠glass.cse.ogi.edu 21 Mar '01

21 Mar '01

nordland 2001/03/21 15:01:02 PST Modified files: src input.c prelude.h Log: Small fix that makes CWPro/Bison compile parser.y right out of the box. Revision Changes Path 1.25 +6 -2 hugs98/src/input.c 1.16 +6 -2 hugs98/src/prelude.h

1 0

cvs commit: hugs98/src machdep.c
by nordland＠glass.cse.ogi.edu 19 Mar '01

19 Mar '01

nordland 2001/03/19 12:36:31 PST Modified files: src machdep.c Log: An attempt to obtain the correct behaviour of startEdit by applying yet another patch. Revision Changes Path 1.14 +12 -9 hugs98/src/machdep.c

1 0

cvs commit: hugs98/src parser.y static.c
by nordland＠glass.cse.ogi.edu 19 Mar '01

19 Mar '01

nordland 2001/03/19 09:51:53 PST Modified files: src parser.y static.c Log: More from Sigbjorn: this fix allows qualified names in instance declarations. Revision Changes Path 1.15 +35 -4 hugs98/src/parser.y 1.33 +14 -6 hugs98/src/static.c

1 0

cvs commit: hugs98/src hugs.c
by nordland＠glass.cse.ogi.edu 19 Mar '01

19 Mar '01

nordland 2001/03/19 09:45:58 PST Modified files: src hugs.c Log: Applied Sigbjorn's tweaks that flush the error stream and allow ~ in :cd commands. Revision Changes Path 1.36 +43 -7 hugs98/src/hugs.c

1 0

cvs commit: hugs98/src static.c storage.c storage.h
by nordland＠glass.cse.ogi.edu 19 Mar '01

19 Mar '01

nordland 2001/03/19 09:43:41 PST Modified files: src static.c storage.c storage.h Log: Added Sigbjorn's fix for the import-with-hiding/export problem. Revision Changes Path 1.32 +87 -22 hugs98/src/static.c 1.15 +4 -2 hugs98/src/storage.c 1.17 +11 -2 hugs98/src/storage.h

1 0

FREE Biotech Stock Info! 117
by biotechstox93＠earthlink.net 10 Mar '01

10 Mar '01

1 0

cvs commit: hugs98 Readme
by nordland＠glass.cse.ogi.edu 20 Feb '01

20 Feb '01

nordland 2001/02/20 13:44:10 PST Modified files: . Readme Log: Made the necessary Feb 2001 changes to this forgottten file. Revision Changes Path 1.11 +18 -7 hugs98/Readme

1 0

cvs commit: hugs98/lib/hugs HugsDynamic.hs
by nordland＠glass.cse.ogi.edu 16 Feb '01

16 Feb '01

nordland 2001/02/16 20:06:25 PST Modified files: lib/hugs HugsDynamic.hs Log: Cleaned up some printouts. Revision Changes Path 1.3 +4 -3 hugs98/lib/hugs/HugsDynamic.hs

1 0

cvs commit: hugs98/src runhugs.c
by nordland＠glass.cse.ogi.edu 16 Feb '01

16 Feb '01

nordland 2001/02/16 20:05:50 PST Modified files: src runhugs.c Log: Fixed runhugs' inability to run main :: IO a where a /= (). Revision Changes Path 1.4 +14 -26 hugs98/src/runhugs.c

1 0

cvs commit: hugs98/lib/hugs HugsDynamic.hs
by nordland＠glass.cse.ogi.edu 16 Feb '01

16 Feb '01

nordland 2001/02/16 17:18:48 PST Modified files: lib/hugs HugsDynamic.hs Log: Fixed bug that caused a crash when showing the Type value of a list. Revision Changes Path 1.2 +3 -2 hugs98/lib/hugs/HugsDynamic.hs

1 0

cvs commit: hugs98/src input.c
by Jeff Lewis 15 Feb '01

15 Feb '01

lewie 2001/02/15 08:06:59 PST Modified files: src input.c Log: Change open quote for HERE doc to ``, which is even less likely to accidently occur than ''. Revision Changes Path 1.24 +3 -3 hugs98/src/input.c

1 0

cvs commit: hugs98 hugs98.spec
by nordland＠glass.cse.ogi.edu 14 Feb '01

14 Feb '01

nordland 2001/02/14 19:17:46 PST Modified files: . hugs98.spec Log: Made RPM aware of the new release notes and the Credits file. Revision Changes Path 1.9 +7 -1 hugs98/hugs98.spec

1 0

cvs commit: hugs98 hugs98.spec
by Jeff Lewis 14 Feb '01

14 Feb '01

lewie 2001/02/14 15:09:09 PST Modified files: . hugs98.spec Log: Update Source field to match version. Revision Changes Path 1.8 +1 -1 hugs98/hugs98.spec

1 0

cvs commit: hugs98 Credits hugs98/docs Credits
by nordland＠glass.cse.ogi.edu 14 Feb '01

14 Feb '01

nordland 2001/02/14 14:58:04 PST Added files: . Credits Removed files: docs Credits Log: Moved the Credits file to a more proper location, and added affiliations to the listed names.

1 0

cvs commit: hugs98/src/winhugs winhugs.rc
by nordland＠glass.cse.ogi.edu 14 Feb '01

14 Feb '01

nordland 2001/02/14 14:55:20 PST Modified files: src/winhugs winhugs.rc Log: Replaced Pepe's name in the About box with a link to the Credits file. Revision Changes Path 1.5 +4 -2 hugs98/src/winhugs/winhugs.rc

1 0

cvs commit: hugs98/src static.c
by nordland＠glass.cse.ogi.edu 14 Feb '01

14 Feb '01

nordland 2001/02/14 14:53:19 PST Modified files: src static.c Log: Fixed a slight omission in the code for checking Haskell style predicates. Revision Changes Path 1.31 +4 -3 hugs98/src/static.c

1 0

cvs commit: hugs98/demos Eliza.hs
by nordland＠glass.cse.ogi.edu 14 Feb '01

14 Feb '01

nordland 2001/02/14 14:52:16 PST Modified files: demos Eliza.hs Log: Removed the type synonym 'Word', which has now become a predefined thing in the Prelude. Revision Changes Path 1.2 +2 -3 hugs98/demos/Eliza.hs

1 0

cvs commit: hugs98/docs Credits machugs-notes.txt winhugs-notes.txt windows-notes.txt
by nordland＠glass.cse.ogi.edu 14 Feb '01

14 Feb '01

nordland 2001/02/14 05:20:27 PST Modified files: docs winhugs-notes.txt Added files: docs Credits machugs-notes.txt Removed files: docs windows-notes.txt Log: Updated release notes and added credits. Revision Changes Path 1.2 +3 -8 hugs98/docs/winhugs-notes.txt

1 0

cvs commit: hugs98/src/machugs hugs.mcp.xml
by nordland＠glass.cse.ogi.edu 14 Feb '01

14 Feb '01

nordland 2001/02/14 04:33:40 PST Modified files: src/machugs hugs.mcp.xml Log: Made CWPro project file consistent. Revision Changes Path 1.2 +72 -264 hugs98/src/machugs/hugs.mcp.xml

1 0