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
/* : CString */;
12 val
* var6
/* : String */;
13 val
* var7
/* : nullable Int */;
14 val
* var8
/* : nullable Int */;
15 val
* var9
/* : nullable Bool */;
16 val
* var10
/* : nullable Bool */;
17 long var11
/* : Int */;
18 short int var13
/* : Bool */;
21 const char* var_class_name
;
22 long var14
/* : Int */;
23 long var15
/* : Int */;
24 short int var17
/* : Bool */;
27 const char* var_class_name20
;
28 long var21
/* : Int */;
29 double var22
/* : Float */;
30 double var24
/* : Float */;
31 double var25
/* : Float */;
32 short int var27
/* : Bool */;
35 const char* var_class_name30
;
36 double var31
/* : Float */;
37 val
* var32
/* : String */;
41 { /* Inline kernel$Int$== (var_d,0l) on <var_d:Int> */
49 if (likely(varonce
!=NULL
)) {
53 var7
= (val
*)(2l<<2|1);
54 var8
= (val
*)(2l<<2|1);
55 var9
= (val
*)((long)(0)<<2|3);
56 var10
= (val
*)((long)(0)<<2|3);
57 var6
= core__flat___CString___to_s_unsafe(var5
, var7
, var8
, var9
, var10
);
66 { /* Inline kernel$Int$* (100l,var_n) on <100l:Int> */
67 /* Covariant cast for argument 0 (i) <var_n:Int> isa OTHER */
68 /* <var_n:Int> isa OTHER */
69 var13
= 1; /* easy <var_n:Int> isa OTHER*/
70 if (unlikely(!var13
)) {
71 var_class_name
= type_core__Int
.name
;
72 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name
);
73 PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel
, 732);
83 { /* Inline kernel$Int$/ (var11,var_d) on <var11:Int> */
84 /* Covariant cast for argument 0 (i) <var_d:Int> isa OTHER */
85 /* <var_d:Int> isa OTHER */
86 var17
= 1; /* easy <var_d:Int> isa OTHER*/
87 if (unlikely(!var17
)) {
88 var_class_name20
= type_core__Int
.name
;
89 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name20
);
90 PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel
, 733);
93 var21
= var11
/ var_d
;
100 { /* Inline kernel$Int$to_f (var15) on <var15:Int> */
101 var24
= (double)var15
;
108 { /* Inline kernel$Float$/ (var22,100.0) on <var22:Float> */
109 /* Covariant cast for argument 0 (i) <100.0:Float> isa OTHER */
110 /* <100.0:Float> isa OTHER */
111 var27
= 1; /* easy <100.0:Float> isa OTHER*/
112 if (unlikely(!var27
)) {
113 var_class_name30
= type_core__Float
.name
;
114 PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name30
);
115 PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel
, 538);
118 var31
= var22
/ 100.0;
125 var32
= core__abstract_text___Float___to_precision(var25
, 2l);