20070822-1

module Test where

{- typechecks -}
t1 : Set -> Set -> Set
t1 x = \z ->
       let y : Set
           y = x
       in  y

{- does not typecheck -}
t2 : Set -> Set -> Set
t2 x = let y : Set
           y = x
       in  \z -> y

(Adga Version 2.1.2)

Fixed. -- Ulf