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

    r8578 r11877  
    66 
    77type a1 a b := a -> b -> Unit 
    8 type a1 := \ (a) (b) .a -> b  -> Unit 
    9 type a1 a := \ b .a -> b  -> Unit 
     8type a1 (a) (b) := a -> b  -> Unit 
    109 
    11 type a2 := \ (a) (b) . a -> Unit 
     10type a2 a b := a -> Unit 
    1211 
    13 type a3 := \ (a) (a) . a -> Unit 
     12type a3 (a) (a) := a -> Unit 
    1413 
    1514type a4 a a := a -> Unit