blob: 899484bc16a45f1874496996edc1e353136c3a6f (
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([Local("./dhall-lang/tests/import/data/cycle.dhall"), Local("./dhall-lang/tests/import/failure/cycle.dhall")], Local("./dhall-lang/tests/import/data/cycle.dhall"))
|
|
|
|
