Show
Ignore:
Timestamp:
03.07.2009 18:38:45 (5 months ago)
Author:
maeder
Message:

disallowed explicit pseudo type notation following := (assign)

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/HasCASL/test/Alias.hascasl.output

    r10502 r11877  
    44type  MyPred s := s ->? Unit 
    55type  MyAlias t := t ->? Unit 
    6 type  a1 a b := a -> b -> Unit 
    76type  a1 a b := a -> b -> Unit 
    87type  a1 a b := a -> b -> Unit 
    … …  
    4948*** Error 7.9, unknown type variable 'a' 
    5049*** Error 7.11, unknown type variable 'b' 
    51 *** Error 8.15, unknown type variable 'a' 
    52 *** Error 8.19, unknown type variable 'b' 
     50*** Error 8.10, unknown type variable 'a' 
     51*** Error 8.14, unknown type variable 'b' 
    5352### Hint 8.6, redeclared type 'a1' 
    54 *** Error 9.9, unknown type variable 'a' 
    55 *** Error 9.16, unknown type variable 'b' 
    56 ### Hint 9.6, redeclared type 'a1' 
    57 *** Error 11.15, unknown type variable 'a' 
    58 *** Error 11.19, unknown type variable 'b' 
    59 *** Error 13.15, unknown type variable 'a' 
    60 *** Error 13.15, duplicates at '(13,19)' for 'a' 
    61 *** Error 15.9, unknown type variable 'a' 
    62 *** Error 15.9, duplicates at '(15,11)' for 'a' 
    63 *** Error 17.9, unknown type variable 'a' 
    64 *** Error 19.9, unknown type variable 'a' 
    65 *** Error 19.14-19.22, 
     53*** Error 10.9, unknown type variable 'a' 
     54*** Error 10.11, unknown type variable 'b' 
     55*** Error 12.10, unknown type variable 'a' 
     56*** Error 12.10, duplicates at '(12,14)' for 'a' 
     57*** Error 14.9, unknown type variable 'a' 
     58*** Error 14.9, duplicates at '(14,11)' for 'a' 
     59*** Error 16.9, unknown type variable 'a' 
     60*** Error 18.9, unknown type variable 'a' 
     61*** Error 18.14-18.22, 
    6662illegal recursive type synonym 'a5 a -> Unit' 
    67 *** Error 21.9, unknown type variable 'a' 
    68 *** Error 23.9, unknown type variable 'a' 
    69 *** Error 25.9, unknown type variable 'a' 
    70 *** Error 23.9-25.22, illegal recursive type synonym 'a7 a -> Unit' 
    71 *** Error 27.6, 
     63*** Error 20.9, unknown type variable 'a' 
     64*** Error 22.9, unknown type variable 'a' 
     65*** Error 24.9, unknown type variable 'a' 
     66*** Error 22.9-24.22, illegal recursive type synonym 'a7 a -> Unit' 
     67*** Error 26.6, 
    7268incompatible kind of: a2 
    7369  expected: Type -> Type -> Type