diff options
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 |