The INTERACT signature

Synopsis

signature INTERACT
structure Compiler.Interact : INTERACT


Interface

exception Interrupt
val interact : unit -> unit
val useFile : string -> unit
val useStream : TextIO.instream -> unit
val evalStream : (TextIO.instream * SCEnv.Env.environment) -> SCEnv.Env.environment
val installCompManager : ((Ast.dec * {get : unit -> SCEnv.Env.environment, set : SCEnv.Env.environment -> unit} * {get : unit -> Environment.environment, set : Environment.environment -> unit}) -> unit) option -> unit


Description

exception Interrupt

interact ()

useFile s

useStream in

evalStream (in, en)

installCompManager opt