view lab2/kgen.mli @ 0:bfdcc3820b32

Basis
author Mike Spivey <mike@cs.ox.ac.uk>
date Thu, 05 Oct 2017 08:04:15 +0100
parents
children
line wrap: on
line source
(* lab2/kgen.mli *)
(* Copyright (c) 2017 J. M. Spivey *)

(* The intermediate code generator takes an abstract syntax tree that
   has been annotated by the semantic analyser, and produces abstract
   machine code.  No errors should be detected in this part if the
   compiler, unless earlier passes are broken. *)

(* |translate| -- generate intermediate code *)
val translate : Tree.program -> unit

val optflag : bool ref