Adding test case for interaction between record subtyping and record extension

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"