Changes between Initial Version and Version 1 of Ticket #4875


Ignore:
Timestamp:
Jan 9, 2011 6:33:27 PM (5 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,