| -----Original Message-----
| From: George Russell [mailto:[EMAIL PROTECTED]]
| Sent: Friday, April 27, 2001 6:02 PM
| To: Julian Seward (Intl Vendor)
| Subject: Jeepers! dependent types go haywire!
|
|
| Compiling with
|
| ghc -fglasgow-exts -fallow-overlapping-instances
| -fallow-undecidable-instances -c AttributeRepresentation2.hs
| ghc -fglasgow-exts -fallow-overlapping-instances
| -fallow-undecidable-instances -c TestAttributeRepresentation2.hs
|
| results in a fairly long error message beginning:
|
| Jeepers! ReduceContext:
| `AttributeRepresentation2.HasCodedValue{-r8d-}
| value2{-aEu-} {-zddHasCodedValue{-aEt-}-}' arising from use
| of `Main.testValue{-r1-}' at TestAttributeRepresentation2.hs:8
| `AttributeRepresentation2.HasCodedValue{-r8d-}
| value2{-aEs-} {-zddHasCodedValue{-aEn-}-}' arising from use
| of `Main.testValue{-r1-}' at TestAttributeRepresentation2.hs:8
| `AttributeRepresentation2.HasCodedValue{-r8d-}
| value2{-aEm-} {-zddHasCodedValue{-aEh-}-}' arising from use
| of `Main.testValue{-r1-}' at TestAttributeRepresentation2.hs:8
| `AttributeRepresentation2.HasCodedValue{-r8d-}
| value2{-aEg-} {-zddHasCodedValue{-aEb-}-}' arising from use
| of `Main.testValue{-r1-}' at TestAttributeRepresentation2.hs:8
| `AttributeRepresentation2.HasCodedValue{-r8d-}
| value2{-aEa-} {-zddHasCodedValue{-aE5-}-}' arising from use
| of `Main.testValue{-r1-}' at TestAttributeRepresentation2.hs:8
| `AttributeRepresentation2.HasCodedValue{-r8d-}
| value2{-aE3-} {-zddHasCodedValue{-aDY-}-}' arising from use
| of `Main.testValue{-r1-}' at TestAttributeRepresentation2.hs:8
|
| and so on . . .
|
| This is extremely odd, because AttributeRepresentation2 has
| no import list, and if I add the contents of the second file
| to the first it works fine.
|
| When do I expect my 8 cheques for $2.56 for bug-finding in
| ghc5.00? (Probably just after Microsoft goes into liquidation . . )
|
| George Russell
|
winmail.dat
