paul@167 | 1 | #include <stdlib.h> /* calloc, exit */ |
paul@173 | 2 | #include <unistd.h> /* read, write */ |
paul@161 | 3 | #include "types.h" |
paul@161 | 4 | #include "exceptions.h" |
paul@161 | 5 | #include "ops.h" |
paul@161 | 6 | #include "progconsts.h" |
paul@161 | 7 | #include "progops.h" |
paul@161 | 8 | #include "progtypes.h" |
paul@161 | 9 | #include "main.h" |
paul@161 | 10 | |
paul@167 | 11 | /* Native functions. */ |
paul@167 | 12 | |
paul@167 | 13 | __attr __fn_native__exit(__attr __args[]) |
paul@167 | 14 | { |
paul@167 | 15 | #define status (__args[1]) |
paul@167 | 16 | |
paul@167 | 17 | exit(__load_via_object(status.value, __pos___data__).intvalue); |
paul@167 | 18 | return __builtins___none_None; |
paul@167 | 19 | #undef status |
paul@167 | 20 | } |
paul@167 | 21 | |
paul@161 | 22 | __attr __fn_native__is(__attr __args[]) |
paul@161 | 23 | { |
paul@161 | 24 | #define x (__args[1]) |
paul@161 | 25 | #define y (__args[2]) |
paul@161 | 26 | |
paul@161 | 27 | return x.value == y.value ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 28 | #undef x |
paul@161 | 29 | #undef y |
paul@161 | 30 | } |
paul@161 | 31 | |
paul@161 | 32 | __attr __fn_native__is_not(__attr __args[]) |
paul@161 | 33 | { |
paul@161 | 34 | #define x (__args[1]) |
paul@161 | 35 | #define y (__args[2]) |
paul@161 | 36 | |
paul@161 | 37 | return x.value != y.value ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 38 | #undef x |
paul@161 | 39 | #undef y |
paul@161 | 40 | } |
paul@161 | 41 | |
paul@161 | 42 | __attr __fn_native__int_add(__attr __args[]) |
paul@161 | 43 | { |
paul@161 | 44 | #define self (__args[1]) |
paul@161 | 45 | #define other (__args[2]) |
paul@161 | 46 | |
paul@161 | 47 | /* NOTE: To be written. */ |
paul@161 | 48 | return __builtins___none_None; |
paul@161 | 49 | #undef self |
paul@161 | 50 | #undef other |
paul@161 | 51 | } |
paul@161 | 52 | |
paul@161 | 53 | __attr __fn_native__int_sub(__attr __args[]) |
paul@161 | 54 | { |
paul@161 | 55 | #define self (__args[1]) |
paul@161 | 56 | #define other (__args[2]) |
paul@161 | 57 | |
paul@161 | 58 | /* NOTE: To be written. */ |
paul@161 | 59 | return __builtins___none_None; |
paul@161 | 60 | #undef self |
paul@161 | 61 | #undef other |
paul@161 | 62 | } |
paul@161 | 63 | |
paul@161 | 64 | __attr __fn_native__int_mul(__attr __args[]) |
paul@161 | 65 | { |
paul@161 | 66 | #define self (__args[1]) |
paul@161 | 67 | #define other (__args[2]) |
paul@161 | 68 | |
paul@161 | 69 | /* NOTE: To be written. */ |
paul@161 | 70 | return __builtins___none_None; |
paul@161 | 71 | #undef self |
paul@161 | 72 | #undef other |
paul@161 | 73 | } |
paul@161 | 74 | |
paul@161 | 75 | __attr __fn_native__int_div(__attr __args[]) |
paul@161 | 76 | { |
paul@161 | 77 | #define self (__args[1]) |
paul@161 | 78 | #define other (__args[2]) |
paul@161 | 79 | |
paul@161 | 80 | /* NOTE: To be written. */ |
paul@161 | 81 | return __builtins___none_None; |
paul@161 | 82 | #undef self |
paul@161 | 83 | #undef other |
paul@161 | 84 | } |
paul@161 | 85 | |
paul@161 | 86 | __attr __fn_native__int_mod(__attr __args[]) |
paul@161 | 87 | { |
paul@161 | 88 | #define self (__args[1]) |
paul@161 | 89 | #define other (__args[2]) |
paul@161 | 90 | |
paul@161 | 91 | /* NOTE: To be written. */ |
paul@161 | 92 | return __builtins___none_None; |
paul@161 | 93 | #undef self |
paul@161 | 94 | #undef other |
paul@161 | 95 | } |
paul@161 | 96 | |
paul@161 | 97 | __attr __fn_native__int_pow(__attr __args[]) |
paul@161 | 98 | { |
paul@161 | 99 | #define self (__args[1]) |
paul@161 | 100 | #define other (__args[2]) |
paul@161 | 101 | |
paul@161 | 102 | /* NOTE: To be written. */ |
paul@161 | 103 | return __builtins___none_None; |
paul@161 | 104 | #undef self |
paul@161 | 105 | #undef other |
paul@161 | 106 | } |
paul@161 | 107 | |
paul@161 | 108 | __attr __fn_native__int_and(__attr __args[]) |
paul@161 | 109 | { |
paul@161 | 110 | #define self (__args[1]) |
paul@161 | 111 | #define other (__args[2]) |
paul@161 | 112 | |
paul@161 | 113 | /* NOTE: To be written. */ |
paul@161 | 114 | return __builtins___none_None; |
paul@161 | 115 | #undef self |
paul@161 | 116 | #undef other |
paul@161 | 117 | } |
paul@161 | 118 | |
paul@161 | 119 | __attr __fn_native__int_or(__attr __args[]) |
paul@161 | 120 | { |
paul@161 | 121 | #define self (__args[1]) |
paul@161 | 122 | #define other (__args[2]) |
paul@161 | 123 | |
paul@161 | 124 | /* NOTE: To be written. */ |
paul@161 | 125 | return __builtins___none_None; |
paul@161 | 126 | #undef self |
paul@161 | 127 | #undef other |
paul@161 | 128 | } |
paul@161 | 129 | |
paul@161 | 130 | __attr __fn_native__int_xor(__attr __args[]) |
paul@161 | 131 | { |
paul@161 | 132 | #define self (__args[1]) |
paul@161 | 133 | #define other (__args[2]) |
paul@161 | 134 | |
paul@161 | 135 | /* NOTE: To be written. */ |
paul@161 | 136 | return __builtins___none_None; |
paul@161 | 137 | #undef self |
paul@161 | 138 | #undef other |
paul@161 | 139 | } |
paul@161 | 140 | |
paul@161 | 141 | __attr __fn_native__int_rsub(__attr __args[]) |
paul@161 | 142 | { |
paul@161 | 143 | #define self (__args[1]) |
paul@161 | 144 | #define other (__args[2]) |
paul@161 | 145 | |
paul@161 | 146 | /* NOTE: To be written. */ |
paul@161 | 147 | return __builtins___none_None; |
paul@161 | 148 | #undef self |
paul@161 | 149 | #undef other |
paul@161 | 150 | } |
paul@161 | 151 | |
paul@161 | 152 | __attr __fn_native__int_rdiv(__attr __args[]) |
paul@161 | 153 | { |
paul@161 | 154 | #define self (__args[1]) |
paul@161 | 155 | #define other (__args[2]) |
paul@161 | 156 | |
paul@161 | 157 | /* NOTE: To be written. */ |
paul@161 | 158 | return __builtins___none_None; |
paul@161 | 159 | #undef self |
paul@161 | 160 | #undef other |
paul@161 | 161 | } |
paul@161 | 162 | |
paul@161 | 163 | __attr __fn_native__int_rmod(__attr __args[]) |
paul@161 | 164 | { |
paul@161 | 165 | #define self (__args[1]) |
paul@161 | 166 | #define other (__args[2]) |
paul@161 | 167 | |
paul@161 | 168 | /* NOTE: To be written. */ |
paul@161 | 169 | return __builtins___none_None; |
paul@161 | 170 | #undef self |
paul@161 | 171 | #undef other |
paul@161 | 172 | } |
paul@161 | 173 | |
paul@161 | 174 | __attr __fn_native__int_rpow(__attr __args[]) |
paul@161 | 175 | { |
paul@161 | 176 | #define self (__args[1]) |
paul@161 | 177 | #define other (__args[2]) |
paul@161 | 178 | |
paul@161 | 179 | /* NOTE: To be written. */ |
paul@161 | 180 | return __builtins___none_None; |
paul@161 | 181 | #undef self |
paul@161 | 182 | #undef other |
paul@161 | 183 | } |
paul@161 | 184 | |
paul@161 | 185 | __attr __fn_native__int_lt(__attr __args[]) |
paul@161 | 186 | { |
paul@161 | 187 | #define self (__args[1]) |
paul@161 | 188 | #define other (__args[2]) |
paul@161 | 189 | |
paul@161 | 190 | /* NOTE: To be written. */ |
paul@161 | 191 | return __builtins___none_None; |
paul@161 | 192 | #undef self |
paul@161 | 193 | #undef other |
paul@161 | 194 | } |
paul@161 | 195 | |
paul@161 | 196 | __attr __fn_native__int_gt(__attr __args[]) |
paul@161 | 197 | { |
paul@161 | 198 | #define self (__args[1]) |
paul@161 | 199 | #define other (__args[2]) |
paul@161 | 200 | |
paul@161 | 201 | /* NOTE: To be written. */ |
paul@161 | 202 | return __builtins___none_None; |
paul@161 | 203 | #undef self |
paul@161 | 204 | #undef other |
paul@161 | 205 | } |
paul@161 | 206 | |
paul@161 | 207 | __attr __fn_native__int_eq(__attr __args[]) |
paul@161 | 208 | { |
paul@161 | 209 | #define self (__args[1]) |
paul@161 | 210 | #define other (__args[2]) |
paul@161 | 211 | |
paul@161 | 212 | /* NOTE: To be written. */ |
paul@161 | 213 | return __builtins___none_None; |
paul@161 | 214 | #undef self |
paul@161 | 215 | #undef other |
paul@161 | 216 | } |
paul@161 | 217 | |
paul@161 | 218 | __attr __fn_native__str_add(__attr __args[]) |
paul@161 | 219 | { |
paul@161 | 220 | #define self (__args[1]) |
paul@161 | 221 | #define other (__args[2]) |
paul@161 | 222 | |
paul@161 | 223 | /* NOTE: To be written. */ |
paul@161 | 224 | return __builtins___none_None; |
paul@161 | 225 | #undef self |
paul@161 | 226 | #undef other |
paul@161 | 227 | } |
paul@161 | 228 | |
paul@161 | 229 | __attr __fn_native__str_lt(__attr __args[]) |
paul@161 | 230 | { |
paul@161 | 231 | #define self (__args[1]) |
paul@161 | 232 | #define other (__args[2]) |
paul@161 | 233 | |
paul@161 | 234 | /* NOTE: To be written. */ |
paul@161 | 235 | return __builtins___none_None; |
paul@161 | 236 | #undef self |
paul@161 | 237 | #undef other |
paul@161 | 238 | } |
paul@161 | 239 | |
paul@161 | 240 | __attr __fn_native__str_gt(__attr __args[]) |
paul@161 | 241 | { |
paul@161 | 242 | #define self (__args[1]) |
paul@161 | 243 | #define other (__args[2]) |
paul@161 | 244 | |
paul@161 | 245 | /* NOTE: To be written. */ |
paul@161 | 246 | return __builtins___none_None; |
paul@161 | 247 | #undef self |
paul@161 | 248 | #undef other |
paul@161 | 249 | } |
paul@161 | 250 | |
paul@161 | 251 | __attr __fn_native__str_eq(__attr __args[]) |
paul@161 | 252 | { |
paul@161 | 253 | #define self (__args[1]) |
paul@161 | 254 | #define other (__args[2]) |
paul@161 | 255 | |
paul@161 | 256 | /* NOTE: To be written. */ |
paul@161 | 257 | return __builtins___none_None; |
paul@161 | 258 | #undef self |
paul@161 | 259 | #undef other |
paul@161 | 260 | } |
paul@161 | 261 | |
paul@161 | 262 | __attr __fn_native__str_len(__attr __args[]) |
paul@161 | 263 | { |
paul@161 | 264 | #define self (__args[1]) |
paul@161 | 265 | |
paul@161 | 266 | /* NOTE: To be written. */ |
paul@161 | 267 | return __builtins___none_None; |
paul@161 | 268 | #undef self |
paul@161 | 269 | } |
paul@161 | 270 | |
paul@161 | 271 | __attr __fn_native__str_nonempty(__attr __args[]) |
paul@161 | 272 | { |
paul@161 | 273 | #define self (__args[1]) |
paul@161 | 274 | |
paul@161 | 275 | /* NOTE: To be written. */ |
paul@161 | 276 | return __builtins___none_None; |
paul@161 | 277 | #undef self |
paul@161 | 278 | } |
paul@161 | 279 | |
paul@161 | 280 | __attr __fn_native__list_init(__attr __args[]) |
paul@161 | 281 | { |
paul@161 | 282 | #define size (__args[1]) |
paul@161 | 283 | /* size.__data__ interpreted as int */ |
paul@161 | 284 | __fragment *data = calloc(__load_via_object(size.value, __pos___data__).intvalue, sizeof(__attr)); |
paul@161 | 285 | __attr attr = {0, .data=data}; |
paul@161 | 286 | |
paul@161 | 287 | return attr; |
paul@161 | 288 | #undef size |
paul@161 | 289 | } |
paul@161 | 290 | |
paul@161 | 291 | __attr __fn_native__list_len(__attr __args[]) |
paul@161 | 292 | { |
paul@161 | 293 | #define self (__args[1]) |
paul@161 | 294 | |
paul@161 | 295 | /* NOTE: To be written. */ |
paul@161 | 296 | return __builtins___none_None; |
paul@161 | 297 | #undef self |
paul@161 | 298 | } |
paul@161 | 299 | |
paul@161 | 300 | __attr __fn_native__list_nonempty(__attr __args[]) |
paul@161 | 301 | { |
paul@161 | 302 | #define self (__args[1]) |
paul@161 | 303 | |
paul@164 | 304 | return __load_via_object(self.value, __pos___data__).data->size ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 305 | #undef self |
paul@161 | 306 | } |
paul@161 | 307 | |
paul@161 | 308 | __attr __fn_native__list_element(__attr __args[]) |
paul@161 | 309 | { |
paul@161 | 310 | #define self (__args[1]) |
paul@161 | 311 | #define index (__args[2]) |
paul@161 | 312 | |
paul@161 | 313 | /* NOTE: To be written. */ |
paul@161 | 314 | return __builtins___none_None; |
paul@161 | 315 | #undef self |
paul@161 | 316 | #undef index |
paul@161 | 317 | } |
paul@161 | 318 | |
paul@161 | 319 | __attr __fn_native__list_to_tuple(__attr __args[]) |
paul@161 | 320 | { |
paul@161 | 321 | #define l (__args[1]) |
paul@161 | 322 | |
paul@161 | 323 | /* NOTE: To be written. */ |
paul@161 | 324 | return __builtins___none_None; |
paul@161 | 325 | #undef l |
paul@161 | 326 | } |
paul@161 | 327 | |
paul@161 | 328 | __attr __fn_native__tuple_init(__attr __args[]) |
paul@161 | 329 | { |
paul@161 | 330 | #define size (__args[1]) |
paul@161 | 331 | /* size.__data__ interpreted as int */ |
paul@161 | 332 | __fragment *data = calloc(__load_via_object(size.value, __pos___data__).intvalue, sizeof(__attr)); |
paul@161 | 333 | __attr attr = {0, .data=data}; |
paul@161 | 334 | |
paul@161 | 335 | return attr; |
paul@161 | 336 | #undef size |
paul@161 | 337 | } |
paul@161 | 338 | |
paul@161 | 339 | __attr __fn_native__tuple_len(__attr __args[]) |
paul@161 | 340 | { |
paul@161 | 341 | #define self (__args[1]) |
paul@161 | 342 | |
paul@161 | 343 | /* NOTE: To be written. */ |
paul@161 | 344 | return __builtins___none_None; |
paul@161 | 345 | #undef self |
paul@161 | 346 | } |
paul@161 | 347 | |
paul@161 | 348 | __attr __fn_native__tuple_element(__attr __args[]) |
paul@161 | 349 | { |
paul@161 | 350 | #define self (__args[1]) |
paul@161 | 351 | #define index (__args[2]) |
paul@161 | 352 | |
paul@161 | 353 | /* NOTE: To be written. */ |
paul@161 | 354 | return __builtins___none_None; |
paul@161 | 355 | #undef self |
paul@161 | 356 | #undef index |
paul@161 | 357 | } |
paul@161 | 358 | |
paul@161 | 359 | __attr __fn_native__isinstance(__attr __args[]) |
paul@161 | 360 | { |
paul@161 | 361 | #define obj (__args[1]) |
paul@161 | 362 | #define cls (__args[2]) |
paul@161 | 363 | |
paul@161 | 364 | if (__HASATTR(obj.value, __TYPEPOS(cls.value), __TYPECODE(cls.value))) |
paul@161 | 365 | return obj; |
paul@161 | 366 | else |
paul@161 | 367 | return __builtins___none_None; |
paul@161 | 368 | #undef obj |
paul@161 | 369 | #undef cls |
paul@161 | 370 | } |
paul@161 | 371 | |
paul@173 | 372 | __attr __fn_native__read(__attr __args[]) |
paul@173 | 373 | { |
paul@173 | 374 | #define fd (__args[1]) |
paul@173 | 375 | #define n (__args[2]) |
paul@173 | 376 | |
paul@173 | 377 | /* NOTE: To be written. */ |
paul@173 | 378 | return __builtins___none_None; |
paul@173 | 379 | #undef fd |
paul@173 | 380 | #undef n |
paul@173 | 381 | } |
paul@173 | 382 | |
paul@173 | 383 | __attr __fn_native__write(__attr __args[]) |
paul@173 | 384 | { |
paul@173 | 385 | #define fd (__args[1]) |
paul@173 | 386 | #define str (__args[2]) |
paul@173 | 387 | |
paul@173 | 388 | /* NOTE: To be written. */ |
paul@173 | 389 | return __builtins___none_None; |
paul@173 | 390 | #undef fd |
paul@173 | 391 | #undef str |
paul@173 | 392 | } |
paul@173 | 393 | |
paul@173 | 394 | /* Module initialisation. */ |
paul@173 | 395 | |
paul@161 | 396 | void __main_native() |
paul@161 | 397 | { |
paul@161 | 398 | } |