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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/cm/smlfile/skeleton.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 279 - (view) (download)

1 : blume 270 (*
2 :     * SML source skeletons.
3 :     *
4 :     * Copyright (c) 1995 by AT&T Bell Laboratories
5 :     * Copyright (c) 1993 by Carnegie Mellon University,
6 :     * School of Computer Science
7 :     * contact: Gene Rollins (rollins+@cs.cmu.edu)
8 :     *
9 :     * contact: Matthias Blume (blume@cs.princeton.edu)
10 :     *)
11 :     structure Skeleton = struct
12 :    
13 : blume 278 type symbol = Symbol.symbol
14 : blume 270 type sympath = GenericVC.SymPath.path
15 :    
16 :     datatype decl =
17 :     StrDecl of { name: symbol,
18 :     def: strExp,
19 :     constraint: strExp option } list
20 :     | FctDecl of { name: symbol, def: fctExp } list
21 :     | LocalDecl of decl * decl
22 :     | SeqDecl of decl list
23 :     | OpenDecl of strExp list
24 :     | DeclRef of SymbolSet.set
25 :    
26 :     and strExp =
27 :     VarStrExp of sympath
28 :     | BaseStrExp of decl
29 :     | AppStrExp of sympath * strExp list
30 :     | LetStrExp of decl * strExp
31 :     | ConStrExp of strExp * strExp
32 :    
33 :     and fctExp =
34 :     VarFctExp of sympath * fctExp option
35 : blume 279 | BaseFctExp of { params: decl, body: strExp, constraint: strExp option }
36 : blume 270 | AppFctExp of sympath * strExp list * fctExp option
37 :     | LetFctExp of decl * fctExp
38 :     end

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