hara.model.annex.spec-ocaml

!.ml

macro

(!.ml & body)

+book+

+features+

+grammar+

+init+

+meta+

+template+

body-expr

added in 4.1

(body-expr body)

wraps multi-form bodies into a sequence

br

macro

break

macro

def$.ml

macro

(def$.ml & body)

def.ml

macro

(def.ml & body)

defabstract.ml

macro

(defabstract.ml & body)

defgen.ml

macro

(defgen.ml & body)

defglobal.ml

macro

(defglobal.ml & body)

defmacro.ml

macro

(defmacro.ml & body)

defn-.ml

macro

(defn-.ml & body)

defn.ml

macro

(defn.ml & body)

defptr.ml

macro

(defptr.ml & body)

defrun.ml

macro

(defrun.ml & body)

deftemp.ml

macro

(deftemp.ml & body)

emit-indent-body

added in 4.1

(emit-indent-body [_ form] grammar mopts)

indents the body

emit-lines-with

added in 4.1

(emit-lines-with [_ sep & forms] grammar mopts)

joins forms with a separator

emit-raw-str

added in 4.1

(emit-raw-str [_ s] grammar mopts)

emits a raw string

ml-args

added in 4.1

(ml-args [_ args] grammar mopts)

emit OCaml arguments

ml-invoke

added in 4.1

(ml-invoke [sym & args] grammar mopts)

wraps wrappable arguments for function application

parse-match-clauses

added in 4.1

(parse-match-clauses clauses)

parses shared match clauses

return

macro

set=

macro

tf-defn

added in 4.1

(tf-defn [_ sym args & body])

custom defn for OCaml

tf-if

added in 4.1

(tf-if [_ cond then else])

transforms if

tf-lambda

added in 4.1

(tf-lambda [_ args & body])

transforms lambda

tf-letrec

added in 4.1

(tf-letrec [_ bindings & body])

transforms letrec

tf-match

added in 4.1

(tf-match [_ val & clauses])

transforms match