Add test

tweag · Aug 6, 2024 · b09a6d6 · b09a6d6
1 parent 49f6bdf
commit b09a6d6
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/core/tests/integration/inputs/typecheck/record_subtyping.ncl b/core/tests/integration/inputs/typecheck/record_subtyping.ncl
@@ -0,0 +1,6 @@
+# test.type = 'pass'
+let test : _ =
+ let test_func : {a : {_ : Number}} -> {a : {_ : Number}} = fun a => a in
+ test_func {a = {foo = 5}}
+in 
+true