Order of `-p` libraries are important.

[andorp]

I experiment with idris2 custom code generation backend, and it seems that the order -p arguments are important for the compilation result.

euler% idris2 -p contrib -p network -p idris2 Main.idr -o stg-idris2
Exception: attempt to reference unbound identifier Lexer-Text-octLit at line 2848, char 1161 of /home/andorp/Sources/IdrisGHCCodeGen/src/build/exec/stg-idris2_app/stg-idris2.ss

euler% idris2 -p idris2 -p contrib -p network Main.idr -o stg-idris2

Expected Behavior

The order of libraries should not be important

Observed Behavior

The order of libraries are important at the moment.

[gallais]

This looks related to #1086