1 #include "counter.sep.0.h"
2 /* method counter#Sys#div for (self: Sys, Int, Int): String */
3 val
* counter___core__Sys___div(val
* self
, long p0
, long p1
) {
4 val
* var
/* : String */;
5 long var_n
/* var n: Int */;
6 long var_d
/* var d: Int */;
7 short int var1
/* : Bool */;
8 short int var3
/* : Bool */;
10 val
* var4
/* : String */;
11 char* var5
/* : NativeString */;
12 val
* var6
/* : String */;
13 long var7
/* : Int */;
14 short int var9
/* : Bool */;
17 const char* var_class_name
;
18 long var10
/* : Int */;
19 long var11
/* : Int */;
20 short int var13
/* : Bool */;
23 const char* var_class_name16
;
24 long var17
/* : Int */;
25 double var18
/* : Float */;
26 double var20
/* : Float */;
27 double var21
/* : Float */;
28 short int var23
/* : Bool */;
31 const char* var_class_name26
;
32 double var27
/* : Float */;
33 val
* var28
/* : String */;
37 { /* Inline kernel#Int#== (var_d,0l) on <var_d:Int> */
45 if (likely(varonce
!=NULL
)) {
49 var6
= core__flat___NativeString___to_s_full(var5
, 2l, 2l);
58 { /* Inline kernel#Int#* (100l,var_n) on <100l:Int> */
59 /* Covariant cast for argument 0 (i) <var_n:Int> isa OTHER */
60 /* <var_n:Int> isa OTHER */
61 var9
= 1; /* easy <var_n:Int> isa OTHER*/
62 if (unlikely(!var9
)) {
63 var_class_name
= type_core__Int
.name
;
64 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
65 PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel
, 735);
75 { /* Inline kernel#Int#/ (var7,var_d) on <var7:Int> */
76 /* Covariant cast for argument 0 (i) <var_d:Int> isa OTHER */
77 /* <var_d:Int> isa OTHER */
78 var13
= 1; /* easy <var_d:Int> isa OTHER*/
79 if (unlikely(!var13
)) {
80 var_class_name16
= type_core__Int
.name
;
81 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name16
);
82 PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel
, 736);
92 { /* Inline kernel#Int#to_f (var11) on <var11:Int> */
93 var20
= (double)var11
;
100 { /* Inline kernel#Float#/ (var18,100.0) on <var18:Float> */
101 /* Covariant cast for argument 0 (i) <100.0:Float> isa OTHER */
102 /* <100.0:Float> isa OTHER */
103 var23
= 1; /* easy <100.0:Float> isa OTHER*/
104 if (unlikely(!var23
)) {
105 var_class_name26
= type_core__Float
.name
;
106 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name26
);
107 PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel
, 538);
110 var27
= var18
/ 100.0;
117 var28
= core__abstract_text___Float___to_precision(var21
, 2l);