Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/TopLevel/main/compbasic.sig
ViewVC logotype

View of /sml/trunk/src/compiler/TopLevel/main/compbasic.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 592 - (download) (as text) (annotate)
Mon Apr 3 07:04:12 2000 UTC (19 years, 6 months ago) by blume
File size: 961 byte(s)
merging branch blume_devel_v110p26p2_1 (elimination of corenv)
(* COPYRIGHT (c) 1996 Bell Laboratories *)
(* compbasic.sig *)

signature COMPBASIC = 
sig

(** important intermediate formats used during the compilations *)
type source                         (* the input file *)
type ast                            (* concrete syntax *)
type absyn                          (* abstract syntax *)
type flint                          (* intermediate code *)
type csegments = CodeObj.csegments  (* binary code segments *)
type executable = CodeObj.executable(* machine executables *)
type object                         (* resulting runtime object *)

datatype importTree = ITNODE of (int * importTree) list
                                    (* import selection specification *)

(** important context, environment, and utility functions *)
type compInfo
val mkCompInfo  : source * (absyn -> absyn) * (unit -> Stamps.generator)
                  -> compInfo
val anyErrors   : compInfo -> bool

end (* signature COMPBASIC *)



root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0