lambda_mountain 1.13.53

Compiler Backend / Programming Language Scaffolding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26


import LIB/default-instruction-set.lm;
import LIB/default-primitives.lm;
import LIB/default-rules.lm;
import LIB/default-stdlib.lm;
import LIB/default-templates.lm;

f := λ(: x x). (: (
  (+( x x ))
) x);

custom-close := λ(: x x). (: (tail(
   (mov( (malloc(sizeof x)) R8 ))
   (mov( x 0_u64 (as R8 x[]) ))
   (as R8 x[])
)) x[]);

main := λ. (: (tail(
  (print (f 5_u64))(print '\n_s)
  (print (f -5_i64))(print '\n_s)
  (print (f 5_u64))(print '\n_s)
  (print (f -5_i64))(print '\n_s)
  (print (maybe-deref(custom-close(SAtom 'X_s))))(print '\n_s)
  (print (maybe-deref(custom-close(SAtom 'Y_s))))(print '\n_s)
)) Nil);