Import Cycle wrong error message

[redfish64]

icb.ipkg: https://gist.github.com/redfish64/9f362ece6264cecaf13f4cfea7b79522

package icb

modules = B
main = B
executable = b

A.idr: https://gist.github.com/redfish64/9fad8f29144f97303a8efc1d00d32cd1

module A

import A

B.idr: https://gist.github.com/redfish64/ead1ccd81c00e3675f3c1522586e2d21

module B

import A

Steps to Reproduce

idris2 --build

Expected Behavior

Uncaught error: Module imports form a cycle: A -> A

Observed Behavior

Uncaught error: Module imports form a cycle: A -> B -> A

[alissa-tung]

Hi @redfish64, would you like to take a look at the test result of 8623d96 to see if it works as expected?

[redfish64]

Yes, that looks right to me. Thanks