Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/ml-nlffi-lib/c.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1741, Tue Dec 21 19:20:57 2004 UTC revision 1742, Tue Dec 21 21:04:01 2004 UTC
# Line 75  Line 75 
75      eqtype sint   and uint      eqtype sint   and uint
76      eqtype sshort and ushort      eqtype sshort and ushort
77      eqtype slong  and ulong      eqtype slong  and ulong
78        eqtype slonglong and ulonglong
79      type float    and double      type float    and double
80    
81      (* going from abstract to concrete and vice versa;      (* going from abstract to concrete and vice versa;
# Line 90  Line 91 
91          val c_ushort : MLRep.Unsigned.word -> ushort          val c_ushort : MLRep.Unsigned.word -> ushort
92          val c_slong  : MLRep.Signed.int    -> slong          val c_slong  : MLRep.Signed.int    -> slong
93          val c_ulong  : MLRep.Unsigned.word -> ulong          val c_ulong  : MLRep.Unsigned.word -> ulong
94            val c_slonglong : MLRep.LongLongSigned.int    -> slonglong
95            val c_ulonglong : MLRep.LongLongUnsigned.word -> ulonglong
96          val c_float  : MLRep.Real.real     -> float          val c_float  : MLRep.Real.real     -> float
97          val c_double : MLRep.Real.real     -> double          val c_double : MLRep.Real.real     -> double
98          val i2c_enum : MLRep.Signed.int    -> 'e enum          val i2c_enum : MLRep.Signed.int    -> 'e enum
# Line 103  Line 106 
106          val ml_ushort : ushort  -> MLRep.Unsigned.word          val ml_ushort : ushort  -> MLRep.Unsigned.word
107          val ml_slong  : slong   -> MLRep.Signed.int          val ml_slong  : slong   -> MLRep.Signed.int
108          val ml_ulong  : ulong   -> MLRep.Unsigned.word          val ml_ulong  : ulong   -> MLRep.Unsigned.word
109            val ml_slonglong : slonglong -> MLRep.LongLongSigned.int
110            val ml_ulonglong : ulonglong -> MLRep.LongLongUnsigned.word
111          val ml_float  : float   -> MLRep.Real.real          val ml_float  : float   -> MLRep.Real.real
112          val ml_double : double  -> MLRep.Real.real          val ml_double : double  -> MLRep.Real.real
113          val c2i_enum  : 'e enum -> MLRep.Signed.int          val c2i_enum  : 'e enum -> MLRep.Signed.int
# Line 117  Line 122 
122      type 'c ushort_obj = (ushort, 'c) obj      type 'c ushort_obj = (ushort, 'c) obj
123      type 'c slong_obj = (slong, 'c) obj      type 'c slong_obj = (slong, 'c) obj
124      type 'c ulong_obj = (ulong, 'c) obj      type 'c ulong_obj = (ulong, 'c) obj
125        type 'c slonglong_obj = (slonglong, 'c) obj
126        type 'c ulonglong_obj = (ulonglong, 'c) obj
127      type 'c float_obj = (float, 'c) obj      type 'c float_obj = (float, 'c) obj
128      type 'c double_obj = (double, 'c) obj      type 'c double_obj = (double, 'c) obj
129      type 'c voidptr_obj = (voidptr, 'c) obj      type 'c voidptr_obj = (voidptr, 'c) obj
# Line 133  Line 140 
140      type 'c ushort_obj' = (ushort, 'c) obj'      type 'c ushort_obj' = (ushort, 'c) obj'
141      type 'c slong_obj' = (slong, 'c) obj'      type 'c slong_obj' = (slong, 'c) obj'
142      type 'c ulong_obj' = (ulong, 'c) obj'      type 'c ulong_obj' = (ulong, 'c) obj'
143        type 'c slonglong_obj' = (slonglong, 'c) obj'
144        type 'c ulonglong_obj' = (ulonglong, 'c) obj'
145      type 'c float_obj' = (float, 'c) obj'      type 'c float_obj' = (float, 'c) obj'
146      type 'c double_obj' = (double, 'c) obj'      type 'c double_obj' = (double, 'c) obj'
147      type 'c voidptr_obj' = (voidptr, 'c) obj'      type 'c voidptr_obj' = (voidptr, 'c) obj'
# Line 279  Line 288 
288          val ushort : ushort size          val ushort : ushort size
289          val slong  : slong size          val slong  : slong size
290          val ulong  : ulong size          val ulong  : ulong size
291            val slonglong : slonglong size
292            val ulonglong : ulonglong size
293          val float  : float size          val float  : float size
294          val double : double size          val double : double size
295    
# Line 321  Line 332 
332          val ushort : ushort typ          val ushort : ushort typ
333          val slong  : slong typ          val slong  : slong typ
334          val ulong  : ulong typ          val ulong  : ulong typ
335            val slonglong : slonglong typ
336            val ulonglong : ulonglong typ
337          val float  : float typ          val float  : float typ
338          val double : double typ          val double : double typ
339    
# Line 359  Line 372 
372          val ushort : 'c ushort_obj -> MLRep.Unsigned.word          val ushort : 'c ushort_obj -> MLRep.Unsigned.word
373          val slong :  'c slong_obj -> MLRep.Signed.int          val slong :  'c slong_obj -> MLRep.Signed.int
374          val ulong :  'c ulong_obj -> MLRep.Unsigned.word          val ulong :  'c ulong_obj -> MLRep.Unsigned.word
375            val slonglong : 'c slonglong_obj -> MLRep.LongLongSigned.int
376            val ulonglong : 'c ulonglong_obj -> MLRep.LongLongUnsigned.word
377          val float :  'c float_obj -> MLRep.Real.real          val float :  'c float_obj -> MLRep.Real.real
378          val double : 'c double_obj -> MLRep.Real.real          val double : 'c double_obj -> MLRep.Real.real
379          val enum :   ('e, 'c) enum_obj -> MLRep.Signed.int          val enum :   ('e, 'c) enum_obj -> MLRep.Signed.int
# Line 372  Line 387 
387          val ushort' : 'c ushort_obj' -> MLRep.Unsigned.word          val ushort' : 'c ushort_obj' -> MLRep.Unsigned.word
388          val slong' :  'c slong_obj' -> MLRep.Signed.int          val slong' :  'c slong_obj' -> MLRep.Signed.int
389          val ulong' :  'c ulong_obj' -> MLRep.Unsigned.word          val ulong' :  'c ulong_obj' -> MLRep.Unsigned.word
390            val slonglong' : 'c slonglong_obj' -> MLRep.LongLongSigned.int
391            val ulonglong' : 'c ulonglong_obj' -> MLRep.LongLongUnsigned.word
392          val float' :  'c float_obj' -> MLRep.Real.real          val float' :  'c float_obj' -> MLRep.Real.real
393          val double' : 'c double_obj' -> MLRep.Real.real          val double' : 'c double_obj' -> MLRep.Real.real
394          val enum' :   ('e, 'c) enum_obj' -> MLRep.Signed.int          val enum' :   ('e, 'c) enum_obj' -> MLRep.Signed.int
# Line 402  Line 419 
419          val ushort : rw ushort_obj * MLRep.Unsigned.word -> unit          val ushort : rw ushort_obj * MLRep.Unsigned.word -> unit
420          val slong :  rw slong_obj * MLRep.Signed.int -> unit          val slong :  rw slong_obj * MLRep.Signed.int -> unit
421          val ulong :  rw ulong_obj * MLRep.Unsigned.word -> unit          val ulong :  rw ulong_obj * MLRep.Unsigned.word -> unit
422            val slonglong : rw slonglong_obj * MLRep.LongLongSigned.int -> unit
423            val ulonglong : rw ulonglong_obj * MLRep.LongLongUnsigned.word -> unit
424          val float :  rw float_obj * MLRep.Real.real -> unit          val float :  rw float_obj * MLRep.Real.real -> unit
425          val double : rw double_obj * MLRep.Real.real -> unit          val double : rw double_obj * MLRep.Real.real -> unit
426          val enum :   ('e, rw) enum_obj * MLRep.Signed.int -> unit          val enum :   ('e, rw) enum_obj * MLRep.Signed.int -> unit
# Line 415  Line 434 
434          val ushort' : rw ushort_obj' * MLRep.Unsigned.word -> unit          val ushort' : rw ushort_obj' * MLRep.Unsigned.word -> unit
435          val slong' :  rw slong_obj' * MLRep.Signed.int -> unit          val slong' :  rw slong_obj' * MLRep.Signed.int -> unit
436          val ulong' :  rw ulong_obj' * MLRep.Unsigned.word -> unit          val ulong' :  rw ulong_obj' * MLRep.Unsigned.word -> unit
437            val slonglong' : rw slonglong_obj' * MLRep.LongLongSigned.int -> unit
438            val ulonglong' : rw ulonglong_obj' * MLRep.LongLongUnsigned.word -> unit
439          val float' :  rw float_obj' * MLRep.Real.real -> unit          val float' :  rw float_obj' * MLRep.Real.real -> unit
440          val double' : rw double_obj' * MLRep.Real.real -> unit          val double' : rw double_obj' * MLRep.Real.real -> unit
441          val enum' :   ('e, rw) enum_obj' * MLRep.Signed.int -> unit          val enum' :   ('e, rw) enum_obj' * MLRep.Signed.int -> unit

Legend:
Removed from v.1741  
changed lines
  Added in v.1742

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