summaryrefslogtreecommitdiff
path: root/dhall/tests/import/failure/importBoundary.txt
blob: 8f78e488311909f36b56f569747e2750ea721665 (plain)
1
Recursive(Import { mode: Code, location: Local(Parent, FilePath { file_path: ["data", "importBoundary.dhall"] }), hash: None }, Typecheck(TypeError { message: Custom("error: unbound variable `x`\n --> <current file>:1:0\n  |\n...\n3 | x\n  | ^ not found in this scope\n  |") }))