
  0 | module Core.InitPrimitives
  1 | 
  2 | import Compiler.CompileExpr
  3 | 
  4 | import Core.Context
  5 | import Core.Primitives
  6 | 
  7 | %default covering
  8 | 
  9 | addPrim : {auto c : Ref Ctxt Defs} ->
 10 |           Prim -> Core ()
 11 | addPrim p
 12 |     = do addBuiltin (opName (fn p)) (type p) (totality p) (fn p)
 13 |          compileDef (opName (fn p))
 14 | 
 15 | export
 16 | addPrimitives : {auto c : Ref Ctxt Defs} -> Core ()
 17 | addPrimitives
 18 |     = traverse_ addPrim allPrimitives
 19 |