Previous  Up  Next

Module Code


module Code: sig .. end
Le code de la machine abstraite pour PCF

type instruction =
| Ldi of int
| Push
| IOp of Op.t
| Extend
| Search of int
| Pushenv
| Popenv
| Mkclos of code
| Mkclosrec of code
| Apply
| Test of code * code
Les instructions comme dans le cours
type code = instruction list 
val print_instruction : Pervasives.out_channel -> instruction -> unit
Divers afficheurs
val print_code : Pervasives.out_channel -> code -> unit