File tree 2 files changed +10
-0
lines changed
2 files changed +10
-0
lines changed Original file line number Diff line number Diff line change @@ -12,6 +12,8 @@ X int add1_int_int (int x) { return x + 1; }
12
12
X int add1_byte_int (byte x ) { return x + 1 ; }
13
13
X byte add1_int_byte (int x ) { return x + 1 ; }
14
14
X byte add1_byte_byte (byte x ) { return x + 1 ; }
15
+ X float add1_float_float (float x ) { return x + 1 ; }
16
+ X double add1_double_double (double x ) { return x + 1 ; }
15
17
X int decimal_int_int_int (int x , int y ) { return 10 * x + y ; }
16
18
X int decimal_byte_int_int (byte x , int y ) { return 10 * x + y ; }
17
19
X int decimal_int_byte_int (int x , byte y ) { return 10 * x + y ; }
@@ -36,6 +38,8 @@ X byte callback3_int_byte_byte (byte(*f)(int)) { return f(3); }
36
38
X short callback3_int_short_short (short (* f )(int )) { return f (3 ); }
37
39
X byte callback3_byte_byte_byte (byte (* f )(byte )) { return f (3 ); }
38
40
X short callback3_short_short_short (short (* f )(short )) { return f (3 ); }
41
+ X float callback3_float_float_float (float (* f )(float )) { return f (3.0 ); }
42
+ X double callback3_double_double_double (double (* f )(double )) { return f (3.0 ); }
39
43
40
44
X int g1 ;
41
45
X int curry_ret_int_int (int x ) { return g1 + x ; }
Original file line number Diff line number Diff line change 146
146
(t 2 'add1_byte_byte (_fun _byte -> _byte) 1 )
147
147
(t -1 'add1_int_int (_fun _int -> _int ) -2 )
148
148
(t -1 'add1_int_int (_fun _int -> _fixint ) -2 )
149
+ (t 2.0 'add1_float_float (_fun _float -> _float) 1.0 )
150
+ (t -1.0 'add1_float_float (_fun _float -> _float) -2.0 )
151
+ (t 2.0 'add1_double_double (_fun _double -> _double) 1.0 )
152
+ (t -1.0 'add1_double_double (_fun _double -> _double) -2.0 )
149
153
;; ---
150
154
(t 12 'decimal_int_int_int (_fun _int _int -> _int ) 1 2 )
151
155
(t 12 'decimal_byte_int_int (_fun _byte _int -> _int ) 1 2 )
173
177
(t 9 'callback3_int_short_short (_fun (_fun _int -> _short) -> _short) sqr)
174
178
(t 9 'callback3_byte_byte_byte (_fun (_fun _byte -> _byte) -> _byte) sqr)
175
179
(t 9 'callback3_short_short_short (_fun (_fun _short -> _short) -> _short) sqr)
180
+ (t 9.0 'callback3_float_float_float (_fun (_fun _float -> _float) -> _float) sqr)
181
+ (t 9.0 'callback3_double_double_double (_fun (_fun _double -> _double) -> _double) sqr)
176
182
;; ---
177
183
(tc 3 'curry_int_int_int (_fun _int -> (_fun _int -> _int )) 1 2 )
178
184
(tc 3 'curry_byte_int_int (_fun _byte -> (_fun _int -> _int )) 1 2 )
You can’t perform that action at this time.
0 commit comments