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/cm/smlfile/skeleton.sml
ViewVC logotype

View of /sml/trunk/src/cm/smlfile/skeleton.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 279 - (download) (annotate)
Tue May 18 08:10:36 1999 UTC (21 years, 6 months ago) by blume
File size: 1146 byte(s)
dependency analysis (hopefully) done; some simplifying changes to skeletons
(*
 * SML source skeletons.
 *
 *   Copyright (c) 1995 by AT&T Bell Laboratories
 *   Copyright (c) 1993 by Carnegie Mellon University,
 *                         School of Computer Science
 *                         contact: Gene Rollins (rollins+@cs.cmu.edu)
 *
 * contact: Matthias Blume (blume@cs.princeton.edu)
 *)
structure Skeleton = struct

    type symbol = Symbol.symbol
    type sympath = GenericVC.SymPath.path

    datatype decl =
	StrDecl of { name: symbol,
		     def: strExp,
		     constraint: strExp option } list    
      | FctDecl of { name: symbol, def: fctExp } list    
      | LocalDecl of decl * decl
      | SeqDecl of decl list    
      | OpenDecl of strExp list
      | DeclRef of SymbolSet.set

    and strExp = 
	VarStrExp of sympath
      | BaseStrExp of decl
      | AppStrExp of sympath * strExp list
      | LetStrExp of decl * strExp  
      | ConStrExp of strExp * strExp

    and fctExp = 
	VarFctExp of sympath * fctExp option 
      | BaseFctExp of { params: decl, body: strExp, constraint: strExp option }
      | AppFctExp of sympath * strExp list * fctExp option
      | LetFctExp of decl * fctExp
end

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