SCM Repository
Annotation of /sml/branches/SMLNJ/src/compiler/FLINT/reps/rttype.sml
Parent Directory
| 
Revision Log
Revision 42 - (view) (download)
| 1 : | monnier | 41 | (* Copyright 1998 YALE FLINT PROJECT *) |
| 2 : | (* rttype.sml *) | ||
| 3 : | |||
| 4 : | signature RTTYPE = | ||
| 5 : | sig | ||
| 6 : | type tcode | ||
| 7 : | |||
| 8 : | val tcode_void : tcode | ||
| 9 : | val tcode_record : tcode | ||
| 10 : | val tcode_int32 : tcode | ||
| 11 : | val tcode_pair : tcode | ||
| 12 : | val tcode_fpair : tcode | ||
| 13 : | val tcode_real : tcode | ||
| 14 : | val tcode_realN : int -> tcode | ||
| 15 : | |||
| 16 : | val tovalue : tcode -> FLINT.value | ||
| 17 : | end (* signature RTTYPE *) | ||
| 18 : | |||
| 19 : | structure RuntimeType :> RTTYPE = | ||
| 20 : | struct | ||
| 21 : | type tcode = int | ||
| 22 : | val tcode_void = 0 | ||
| 23 : | val tcode_record = 1 | ||
| 24 : | val tcode_int32 = 2 | ||
| 25 : | val tcode_pair = 3 | ||
| 26 : | val tcode_fpair = 4 | ||
| 27 : | val tcode_real = 5 | ||
| 28 : | fun tcode_realN n = n * 5 | ||
| 29 : | |||
| 30 : | fun tovalue i = FLINT.INT i | ||
| 31 : | end (* structure RuntimeType *) | ||
| 32 : | |||
| 33 : |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
