Diff of /sml/trunk/src/ml-nlffi-lib/internals/c-int.sml

Parent Directory | Revision Log | Patch

	revision 1151, Mon Mar 18 18:41:31 2002 UTC	revision 1152, Tue Mar 19 21:36:30 2002 UTC
#	Line 125	Line 125
125	type 'c ubf = bf	type 'c ubf = bf
126	type 'c sbf = bf	type 'c sbf = bf
127
128		structure W = struct
129		type ('from, 'to) witness = unit
130
131		val trivial = ()
132		fun pointer () = ()
133		fun object () = ()
134		fun arr () = ()
135		fun ro () = ()
136		fun rw () = ()
137		end
138
139		fun convert w x = x
140		fun convert' w x = x
141
142	(*	(*
143	* A family of types and corresponding values representing natural numbers.	* A family of types and corresponding values representing natural numbers.
144	*   (An encoding in SML without using dependent types.)	*   (An encoding in SML without using dependent types.)
#	Line 442	Line 456
456
457	val ro' = addr_id	val ro' = addr_id
458	val rw' = addr_id	val rw' = addr_id
459
460		fun convert w x = x
461		fun convert' w x = x
462	end	end
463
464	structure Arr = struct	structure Arr = struct

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1151   changed lines   Added in v.1152

---

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