INTERNAL ERROR: Codegen error in Main.{inputs_0}:No such variable unsafePerformIO in SLet (Glob {R_3}) (SLet (Glob {R_1}) (SLet (Glob {R_0}) SNothing (SApp False {APPLY_0} [Glob unsafePerformIO,Glob {R_0}])) (SLet (Glob {R_2}) SNothing (SApp False {APPLY_0} [Glob {R_1},Glob {R_2}]))) (SLet (Glob {R_4}) SNothing (SApp True {APPLY_0} [Glob {R_3},Glob {R_4}])) []
This is probably a bug, or a missing error message.
Please consider reporting at https://github.com/idris-lang/Idris-dev/issues
MichaelssersMBP:MSF michaelmesser$ idris -c LazyIO.idr -o l
INTERNAL ERROR: Codegen error in Main.{inputs_0}:No such variable unsafePerformIO in SLet (Glob {R_3}) (SLet (Glob {R_1}) (SLet (Glob {R_0}) SNothing (SApp False {APPLY_0} [Glob unsafePerformIO,Glob {R_0}])) (SLet (Glob {R_2}) SNothing (SApp False {APPLY_0} [Glob {R_1},Glob {R_2}]))) (SLet (Glob {R_4}) SNothing (SApp True {APPLY_0} [Glob {R_3},Glob {R_4}])) []
This is probably a bug, or a missing error message.
Please consider reporting at https://github.com/idris-lang/Idris-dev/issues