renamed tests

This commit is contained in:
krangelov
2021-09-24 15:41:05 +02:00
parent ac304ccd7c
commit 886592f345
7 changed files with 5 additions and 5 deletions

View File

@@ -0,0 +1,12 @@
resource record = {
param P = A;
oper
hello = id "hello";
-- Id should be an identity function for Str
--id : Str -> Str = \ s -> s ;
id : Str -> Str = \ s -> ({a=s}**f r).a;
f : { b:Str } -> { b:Str } = \ x -> x;
r : { a:P; b:Str} = {a=A;b="b"};
}