blob: 641667f5380ea56b80d1c87c3ad138c5bcaf4143 (
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"), mode: Code }, ImportLocation { kind: Local("./dhall-lang/tests/import/failure/cycle.dhall"), mode: Code }], ImportLocation { kind: Local("./dhall-lang/tests/import/data/cycle.dhall"), mode: Code })
|
|
|
|