FW: Jeepers! dependent types go haywire!

[Julian Seward (Intl Vendor)]

| -----Original Message-----
| From: George Russell [mailto:ger at tzi.de] 
| 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
| 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/ms-tnef
Size: 4252 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/glasgow-haskell-bugs/attachments/20010427/348a79e7/attachment.bin