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/Graphs.hascasl.output

    r10502 r11877  
    7070### Hint 1.6, is type variable 'S' 
    7171### Hint 1.8, is type variable 'T' 
    72 ### Hint 3.19, rebound type variable 'S' 
     72### Hint 3.14, rebound type variable 'S' 
    7373### Hint 3.8, redeclared type 'Pred' 
    74 ### Hint 4.17, rebound type variable 'S' 
     74### Hint 4.13, rebound type variable 'S' 
    7575### Hint 9.18, 
    7676no kind found for 'S'