Typechecking for basic language done
[hcoop/domtool2.git] / tests / test.dtl
CommitLineData
db427c67
AC
1name <- Name;
2Name = (\x : (int) -> "Freddy") name;
3let
4 Name = 17
5in
6 Name = 13
7end
27d9de59 8