From 73af29fb11517f85043d8a866697b150dc7c2191 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 23 Feb 2020 20:56:03 +0000 Subject: Add a bunch of tests --- .../success/regression/RecursiveRecordTypeMergeTripleCollisionB.dhall | 1 + 1 file changed, 1 insertion(+) create mode 100644 dhall/tests/type-inference/success/regression/RecursiveRecordTypeMergeTripleCollisionB.dhall (limited to 'dhall/tests/type-inference/success/regression/RecursiveRecordTypeMergeTripleCollisionB.dhall') diff --git a/dhall/tests/type-inference/success/regression/RecursiveRecordTypeMergeTripleCollisionB.dhall b/dhall/tests/type-inference/success/regression/RecursiveRecordTypeMergeTripleCollisionB.dhall new file mode 100644 index 0000000..245bc9d --- /dev/null +++ b/dhall/tests/type-inference/success/regression/RecursiveRecordTypeMergeTripleCollisionB.dhall @@ -0,0 +1 @@ +Type -- cgit v1.2.3