Changes between Initial Version and Version 1 of Ticket #4875


Ignore:
Timestamp:
Jan 9, 2011 6:33:27 PM (3 years ago)
Author:
igloo
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4875 – Description

    initial v1  
    33 
    44Step 1: verify that Module HaskellBug produces the following error message: 
     5{{{ 
     6[1 of 1] Compiling HaskellBug       ( HaskellBug.hs, interpreted ) 
    57 
    6 [1 of 1] Compiling HaskellBug       ( \HaskellBug.hs, interpreted ) 
    7  
    8 \HaskellBug.hs:12:22: 
     8HaskellBug.hs:12:22: 
    99    `rel' is not applied to enough type arguments 
    1010    Expected kind `??', but `rel' has kind `* -> *' 
    1111    In the type `rel -> concept' 
    1212    In the class declaration for `Association' 
    13  
     13}}} 
    1414Step 2: remove the definition of class Morphic r c and verify that the script is now error free. 
    1515 
     
    2323the error in the wrong location. I whould have expected an error 
    2424message like 
    25 \HaskellBug.hs:23:22: 
     25{{{ 
     26HaskellBug.hs:23:22: 
    2627    `r' is applied to too many type arguments 
    2728    Expected <something sensible here> 
    2829    In the type `r -> c' 
    2930    In the class declaration for `Morphic' 
    30  
     31}}} 
    3132Epilog: 
    3233I have taken the trouble to isolate the problem in a small script,