SCM Repository
Diff of /sml/trunk/src/cm/depend/graph.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 369, Sun Jul 4 12:55:20 1999 UTC | revision 370, Mon Jul 5 08:59:13 1999 UTC | |
|---|---|---|
| # | Line 17 | Line 17 |
| 17 | datatype bnode = | datatype bnode = |
| 18 | PNODE of primitive | PNODE of primitive |
| 19 | | BNODE of { bininfo: BinInfo.info, | | BNODE of { bininfo: BinInfo.info, |
| 20 | localimports: bnode list, | localimports: (bnode * bool) list, |
| 21 | globalimports: farbnode list } | globalimports: (farbnode * bool) list } |
| 22 | ||
| 23 | withtype farbnode = bnode filtered | withtype farbnode = bnode filtered |
| 24 | ||
| 25 | datatype snode = | datatype snode = |
| 26 | SNODE of { smlinfo: SmlInfo.info, | SNODE of { smlinfo: SmlInfo.info, |
| 27 | localimports: snode list, | localimports: (snode * bool ref) list, |
| 28 | globalimports: farsbnode list } | globalimports: (farsbnode * bool ref) list } |
| 29 | ||
| 30 | and sbnode = | and sbnode = |
| 31 | SB_BNODE of bnode | SB_BNODE of bnode |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
