From 60d202471ed5013d1ab607a4c34b82448d708261 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 29 Feb 2020 22:03:46 +0000 Subject: Add a bunch of `as Location` unit tests --- dhall/tests/type-inference/success/CacheImportsB.dhall | 1 + 1 file changed, 1 insertion(+) create mode 100644 dhall/tests/type-inference/success/CacheImportsB.dhall (limited to 'dhall/tests/type-inference/success/CacheImportsB.dhall') diff --git a/dhall/tests/type-inference/success/CacheImportsB.dhall b/dhall/tests/type-inference/success/CacheImportsB.dhall new file mode 100644 index 0000000..2f184a4 --- /dev/null +++ b/dhall/tests/type-inference/success/CacheImportsB.dhall @@ -0,0 +1 @@ +Natural -- cgit v1.2.3