Module Intprom

module Intprom: sig .. end

Interpreter of prom. prom is a language to perform simple operations (e.g. simple politics for repasa or averages of grades).

This source is released to the public domain since 2002. No warranty. Citation of the project Structio and the following URL is appreciated. http://structio.sourceforge.net/repasa

val interp : bool Pervasives.ref

Indicates if the program must be interpreted and the result printed

val prolog : Prom.stmt list Pervasives.ref

Prolog for program to interpret

val check_types : bool Pervasives.ref

Indicates if the program must be type checked

val exp_type : Prom.texpr Pervasives.ref

Type to expect after type checking

val pretty_print : bool Pervasives.ref

Indicates if the program must be indented and printed in stdout

val print_state : bool Pervasives.ref

Indicates if the state of the program at its termination must be printed

val int_file : Prom.stmt list -> string -> unit

int_file inistate f Interpretes the prom program in file f using the prolog pro