daily pastebin goal
24%
SHARE
TWEET

Untitled

a guest Feb 16th, 2019 85 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. 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}])) []
  2. This is probably a bug, or a missing error message.
  3. Please consider reporting at https://github.com/idris-lang/Idris-dev/issues
  4. MichaelssersMBP:MSF michaelmesser$ idris -c LazyIO.idr -o l
  5. 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}])) []
  6. This is probably a bug, or a missing error message.
  7. Please consider reporting at https://github.com/idris-lang/Idris-dev/issues
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top