diff options
author | Nadrieril | 2020-03-01 16:37:10 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 24ff14dc98b83ddc12239a0eae4852c9cd87d41f (patch) | |
tree | 494279e9ae81be144d7eb3834e6080a7819aea47 /dhall/tests/import/data/importBoundary.dhall | |
parent | e277fb2f7316fef5c20e7c485eeba1f14328d621 (diff) |
Add a lot of import tests
Diffstat (limited to 'dhall/tests/import/data/importBoundary.dhall')
-rw-r--r-- | dhall/tests/import/data/importBoundary.dhall | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/tests/import/data/importBoundary.dhall b/dhall/tests/import/data/importBoundary.dhall new file mode 100644 index 0000000..e6f1074 --- /dev/null +++ b/dhall/tests/import/data/importBoundary.dhall @@ -0,0 +1,3 @@ +-- This file contains a free variable. This should be a type error, even if the variable +-- is in scope in the importing expression +x |