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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112

-module (testlyet).
-compile ({ parse_transform, lyet }).
-compile (export_all).

-ifdef (HAVE_EUNIT).
-include_lib ("eunit/include/eunit.hrl").
-endif.

g (X) -> X + 1.
h (X) -> X + 2.
l (X) -> X + 3.
m (X) -> X + 4.

% different equivalent ways of writing m (l (h (g (X))))
% i like the first one the best

% per Ulf's suggestion, use a local call (let_)

testmegaone (X) ->
  let_ (X = g (X),
        X = h (X),
        X = l (X),
    m (X)).


testmegatwo (X) ->
  let_ (X = g (X), 
    let_ (X = h (X), 
      let_ (X = l (X), 
        m (X)
      )
    )
  ).

testmegathree (X) ->
  let_ (X = 
    let_ (X = 
      let_ (X = 
        let_ (X = g (X), 
              X), 
        h (X)), 
    l (X)), 
  m (X)).

testmeganoassign () ->
  let_ (9 + 2).

testmegastructured (X) ->
  let_ ({ _, X } = { dude, g (X) },
        { X, _ } = { h (X), wheres },
        { _, X } = { my, l (X) },
    { car, m (X) }).

testone (X) ->
  lyet:lyet (X = g (X),
             X = h (X),
             X = l (X),
    m (X)).


testtwo (X) ->
  lyet:lyet (X = g (X), 
    lyet:lyet (X = h (X), 
      lyet:lyet (X = l (X), 
        m (X)
      )
    )
  ).

testthree (X) ->
  lyet:lyet (X = 
    lyet:lyet (X = 
      lyet:lyet (X = 
        lyet:lyet (X = g (X), 
                   X), 
        h (X)), 
    l (X)), 
  m (X)).

testnoassign () ->
  lyet:lyet (9 + 2).

-ifdef (EUNIT).

one_mega_test () -> 
  ?assertEqual (11, testmegaone (1)).

two_mega_test () -> 
  ?assertEqual (11, testmegatwo (1)).

three_mega_test () -> 
  ?assertEqual (11, testmegathree (1)).

noassign_mega_test () -> 
  ?assertEqual (11, testmeganoassign ()).

structured_mega_test () -> 
  ?assertEqual ({ car, 11 }, testmegastructured (1)).

one_test () -> 
  ?assertEqual (11, testone (1)).

two_test () -> 
  ?assertEqual (11, testtwo (1)).

three_test () -> 
  ?assertEqual (11, testthree (1)).

noassign_test () -> 
  ?assertEqual (11, testnoassign ()).

-endif.