blob: a1033121f32ef9103dfe5cd743f37209016b7a5d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
Type error: error: error
--> <current file>:1:1
|
1 | ../data/cycle.dhall
| ^^^^^^^^^^^^^^^^^^^ Type error: error: error
--> <current file>:1:1
|
1 | ../failure/cycle.dhall
| ^^^^^^^^^^^^^^^^^^^^^^ Type error: error: error
--> <current file>:1:1
|
1 | ../data/cycle.dhall
| ^^^^^^^^^^^^^^^^^^^ ImportCycle([ImportLocation { kind: Local("./dhall-lang/tests/import/data/cycle.dhall") }, ImportLocation { kind: Local("./dhall-lang/tests/import/failure/cycle.dhall") }], ImportLocation { kind: Local("./dhall-lang/tests/import/data/cycle.dhall") })
|
|
|
|
