1 files changed, 12 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"};
+}