June 2004 - Cvs-nhc98

cvs commit: nhc98/script tprofprel
by Malcolm Wallace 18 Jun '04

18 Jun '04

malcolm 2004/06/18 07:35:42 PDT Modified files: script tprofprel Log: Don't need -e flag to sh. Revision Changes Path 1.6 +1 -1 nhc98/script/tprofprel

1 0

cvs commit: nhc98/src/compiler98 PreImport.hs
by Malcolm Wallace 18 Jun '04

18 Jun '04

malcolm 2004/06/18 03:42:00 PDT Modified files: src/compiler98 PreImport.hs Log: Simplify re-ordering of module imports. Need to ensure that NHC.Internal comes last with Prelude, but there is no need to sort the other modules lexicographically. Revision Changes Path 1.24 +13 -3 nhc98/src/compiler98/PreImport.hs

1 0

cvs commit: nhc98/src/prelude/Prelude Makefile
by Malcolm Wallace 16 Jun '04

16 Jun '04

malcolm 2004/06/16 07:39:09 PDT Modified files: src/prelude/Prelude Makefile Log: PreludeDebug is no more. Revision Changes Path 1.18 +1 -2 nhc98/src/prelude/Prelude/Makefile

1 0

cvs commit: nhc98/src/compiler98 Type.hs
by Malcolm Wallace 16 Jun '04

16 Jun '04

malcolm 2004/06/16 07:30:06 PDT Modified files: src/compiler98 Type.hs Log: Improve error message only. Revision Changes Path 1.14 +2 -2 nhc98/src/compiler98/Type.hs

1 0

Matching instances of Num
by Sven Panne 16 Jun '04

16 Jun '04

Consider the following module: ------------------------------------------------ module Foo where newtype Blah = Blah Int deriving (Eq, Show) instance Num Blah where (Blah i) + (Blah j) = Blah (i + j) (Blah i) - (Blah j) = Blah (i - j) (Blah i) * (Blah j) = Blah (i * j) negate (Blah i) = Blah (negate i) abs (Blah i) = Blah (abs i) signum (Blah i) = Blah (signum i) fromInteger x = Blah (fromInteger x) bar :: Blah -> Bool bar 0 = False bar _ = True ------------------------------------------------ nhc98 (HEAD) fails with: ------------------------------------------------ panne@jeanluc:> nhc98 -c Foo.hs Fail: What? matchAltIf at 15:9 ------------------------------------------------ I'm not sure if the error is in FixSyntax.fsExp' or Case.matchAltIf itself because I don't know enough about nhc98's dictionary handling and pattern matching. Help required... :-} Cheers, S.

2 1

cvs commit: nhc98/src/compiler98 FixSyntax.hs
by Malcolm Wallace 16 Jun '04

16 Jun '04

malcolm 2004/06/16 07:23:10 PDT Modified files: src/compiler98 FixSyntax.hs Log: Fix a pattern-matching bug. Consider the following example: ------------------------------------------------ module Foo where newtype Blah = Blah Int deriving (Eq, Show) instance Num Blah where (Blah i) + (Blah j) = Blah (i + j) ... fromInteger x = Blah (fromInteger x) bar :: Blah -> Bool bar 0 = False bar _ = True ------------------------------------------------ nhc98 previously failed with: Fail: What? matchAltIf at 15:9 because the dictionary for (Num.fromInteger {dict:Blah} 0) in the pattern-match was being flattened to (Num.Blah.fromInteger 0), which made it impossible to later choose the right instance of (Eq.==). This fix ensures that fsExp knows whether it is in an expression context or a pattern-context, and for patterns it now refuses to flatten the dictionary. Revision Changes Path 1.21 +69 -71 nhc98/src/compiler98/FixSyntax.hs

1 0

cvs commit: nhc98/include/NHC FFI.hi
by Sven Panne 15 Jun '04

15 Jun '04

panne 2004/06/15 13:42:41 PDT Modified files: include/NHC FFI.hi Log: Added Integral instances for CLLong, CLong, CULLong, CULong, CUShort, Int16, Int32, Int64, Word16, Word64. This should really be automated somehow + be tested via a test suite... :-( Revision Changes Path 1.12 +30 -0 nhc98/include/NHC/FFI.hi

1 0

cvs commit: nhc98/src/compiler98 Foreign.hs
by Sven Panne 15 Jun '04

15 Jun '04

panne 2004/06/15 09:39:44 PDT Modified files: src/compiler98 Foreign.hs Log: Warning police Revision Changes Path 1.29 +85 -65 nhc98/src/compiler98/Foreign.hs

1 0

cvs commit: nhc98/include/NHC FFI.hi
by Malcolm Wallace 15 Jun '04

15 Jun '04

malcolm 2004/06/15 09:11:12 PDT Modified files: include/NHC FFI.hi Log: Remove instances of {Bounded,Integral} for {CClock,CTime}. Revision Changes Path 1.11 +0 -42 nhc98/include/NHC/FFI.hi

1 0

cvs commit: nhc98/src/prelude/FFI CTypes.h CTypes.hs CTypesExtra.hs
by Sven Panne 15 Jun '04

15 Jun '04

panne 2004/06/14 11:02:26 PDT Modified files: src/prelude/FFI CTypes.h CTypes.hs CTypesExtra.hs Log: * s/NUMERIC_TYPE/ARITHMETIC_TYPE/ * ARITHMETIC_TYPEs now have a Real instance (should probably be tracked in some magic .hi files => Malcolm?) * Reverted most of my attempt to make CTypes* conform to the FFI spec: I can't manage to compile any Bit instances at this stage, neither Data.Bits nor NHC.SizedTypes is available. There must be some way to teach this to nhc98 by hand first => Malcolm? Revision Changes Path 1.3 +8 -11 nhc98/src/prelude/FFI/CTypes.h 1.7 +2 -2 nhc98/src/prelude/FFI/CTypes.hs 1.5 +4 -4 nhc98/src/prelude/FFI/CTypesExtra.hs

3 3