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/depend/da-env.sml
ViewVC logotype

Annotation of /sml/trunk/src/cm/depend/da-env.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 773 - (view) (download)

1 : blume 286 (*
2 :     * Environments used during dependency analysis.
3 :     *
4 :     * (C) 1999 Lucent Technologies, Bell Laboratories
5 :     *
6 :     * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7 :     *)
8 :     structure DAEnv = struct
9 :    
10 :     datatype env =
11 :     EMPTY
12 : blume 308 | FCTENV of Symbol.symbol -> value option
13 : blume 286 | BINDING of Symbol.symbol * value
14 :     | LAYER of env * env
15 :     | FILTER of SymbolSet.set * env
16 : blume 773 | SUSPEND of unit -> env
17 : blume 286
18 :     withtype value = env
19 :     end

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