diff options
| -rw-r--r-- | testsuite/compiler/compute/Records.gf | 12 | ||||
| -rw-r--r-- | testsuite/compiler/compute/Records.gfs | 2 | ||||
| -rw-r--r-- | testsuite/compiler/compute/Records.gfs.gold | 1 |
3 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/compiler/compute/Records.gf b/testsuite/compiler/compute/Records.gf new file mode 100644 index 000000000..29207787b --- /dev/null +++ b/testsuite/compiler/compute/Records.gf @@ -0,0 +1,12 @@ +resource Records = { + +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"}; +} diff --git a/testsuite/compiler/compute/Records.gfs b/testsuite/compiler/compute/Records.gfs new file mode 100644 index 000000000..7d74a70a3 --- /dev/null +++ b/testsuite/compiler/compute/Records.gfs @@ -0,0 +1,2 @@ +i -retain testsuite/compiler/compute/Records.gf +cc hello diff --git a/testsuite/compiler/compute/Records.gfs.gold b/testsuite/compiler/compute/Records.gfs.gold new file mode 100644 index 000000000..3580093b9 --- /dev/null +++ b/testsuite/compiler/compute/Records.gfs.gold @@ -0,0 +1 @@ +"hello" |