Diff of /sml/trunk/src/compiler/FLINT/flint/flint.sml

Parent Directory | Revision Log | Patch

	revision 79, Sat Apr 18 00:19:45 1998 UTC	revision 80, Wed Apr 29 23:25:33 1998 UTC
#	Line 29	Line 29
29	{isrec : lty list option,  (* is this function recursive ? *)	{isrec : lty list option,  (* is this function recursive ? *)
30	fixed : fflag,            (* is calling convention fixed ? *)	fixed : fflag,            (* is calling convention fixed ? *)
31	known : bool,             (* is this function known, default: false *)	known : bool,             (* is this function known, default: false *)
32	inline: bool}             (* is this inlinable, default: not isrec *)	inline: bool}             (* should this be inlined, default: false *)
33
34	(** classifying various kinds of records *)	(** classifying various kinds of records *)
35	datatype rkind	datatype rkind

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.79   changed lines   Added in v.80

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0