view lab2/kgen.mli @ 1:b5139af1a420 tip basis

Fixed permissions on compile scripts
author Mike Spivey <mike@cs.ox.ac.uk>
date Fri, 13 Oct 2017 17:27:58 +0100
parents bfdcc3820b32
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