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/CacheImportsA.dhall | 1 +
 dhall/tests/type-inference/success/CacheImportsB.dhall | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 dhall/tests/type-inference/success/CacheImportsA.dhall
 create mode 100644 dhall/tests/type-inference/success/CacheImportsB.dhall

(limited to 'dhall/tests/type-inference')

diff --git a/dhall/tests/type-inference/success/CacheImportsA.dhall b/dhall/tests/type-inference/success/CacheImportsA.dhall
new file mode 100644
index 0000000..3bd2bc1
--- /dev/null
+++ b/dhall/tests/type-inference/success/CacheImportsA.dhall
@@ -0,0 +1 @@
+let _ = assert : https://csrng.net/csrng/csrng.php?min=0&max=1000 as Text === https://csrng.net/csrng/csrng.php?min=0&max=1000 as Text in 0
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