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 |