SCM Repository
Diff of /sml/trunk/src/cm/pgraph/gen-sml.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 977, Wed Nov 14 16:53:16 2001 UTC | revision 1011, Thu Jan 10 20:22:04 2002 UTC | |
|---|---|---|
| # | Line 136 | Line 136 |
| 136 | ENV m => m | ENV m => m |
| 137 | | _ => raise TypeError ("env", v) | | _ => raise TypeError ("env", v) |
| 138 | ||
| 139 | fun namespace "STR" = "structure" | fun namespace P.SGN = "signature" |
| 140 | | namespace "SIG" = "signature" | | namespace P.STR = "structure" |
| 141 | | namespace "FCT" = "functor" | | namespace P.FCT = "functor" |
| | namespace "FSIG" = "funsig" | ||
| | namespace ns = raise Fail ("unknown namespace spec: " ^ ns) | ||
| 142 | ||
| 143 | fun onedef (P.DEF { lhs, rhs }, dm) = let | fun onedef (P.DEF { lhs, rhs }, dm) = let |
| 144 | val get = get dm | val get = get dm |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
