CODEWITHSUNDEEP
idris
beezus333
beezus333

Reputation: 25

Idris 2 cannot find Control.Linear.LIO module

I'm trying to write some Idris 2 code reimplementing the examples shown in the Idris2 paper. When trying to import the L type by setting import Control.Linear.LIO and loading the file, I get the following error in the Repl:

Error: Module Control.Linear.LIO not found

Any suggestions?

Upvotes: 1

Views: 187

Answers (1)

joel
joel

Reputation: 7867

You need to explicitly include contrib as a package. Run Idris like

$ idris2 -p contrib filename.idr

Upvotes: 3

Related Questions