Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement