Compiler.Scheme.Chez

Definitions

findChez : IO String

Visibility: export

chezVersion : String -> IO (Maybe Version)

  Returns the chez scheme version for given executable
  
  This uses `chez --version` which unfortunately writes the version
  on `stderr` thus requiring suffixing the command which shell redirection
  which does not seem very portable.

Visibility: export

findLibs : Ref Ctxt Defs => List String -> Core (List (String, String))

Visibility: export

chezString : String -> Builder

Visibility: export

chezExtPrim : SortedSet Name -> LazyExprProc -> Nat -> ExtPrim -> List NamedCExp -> Core Builder

Visibility: export

data Loaded : Type

Totality: total
Visibility: export

data Structs : Type

Totality: total
Visibility: export

loadLib : Ref Ctxt Defs => String -> String -> Core String

Visibility: export

getFgnCall : Ref Ctxt Defs => Ref Loaded (List String) => Ref Structs (List String) => Maybe Version -> (Name, (FC, NamedDef)) -> Core (Maybe String, Builder)

Visibility: export

startChezPreamble : String

Visibility: export

collectRequestHandler : Builder

Visibility: export

codegenChez : Codegen

  Codegen wrapper for Chez scheme implementation.

Visibility: export