SCM Repository
Annotation of /sml/trunk/src/cm/semant/primitive.sml
Parent Directory
|
Revision Log
Revision 273 - (view) (download)
1 : | blume | 270 | signature PRIMITIVE = sig |
2 : | |||
3 : | type primitive | ||
4 : | |||
5 : | blume | 272 | val fromString : string -> primitive |
6 : | blume | 273 | val toString : primitive -> string |
7 : | blume | 272 | |
8 : | blume | 270 | val exports: primitive -> SymbolSet.set |
9 : | end | ||
10 : | |||
11 : | blume | 272 | structure Primitive :> PRIMITIVE = struct |
12 : | blume | 270 | |
13 : | type primitive = Dummy.t | ||
14 : | |||
15 : | blume | 272 | fun fromString s = Dummy.f () |
16 : | blume | 273 | fun toString p = Dummy.f () |
17 : | blume | 270 | fun exports p = Dummy.f () |
18 : | end |
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |