dmn/test.simala at main · smucclaw/dmn · GitHub

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
let
    TableB = fun (Dish,Children) =>
        if Dish == 'Spareribs && Children == false
            then {Beverages = 'beer}
        else if Dish == 'Stew && Children == false
            then {Beverages = 'wine}
        else if Dish == 'Roastbeef && Children == false
            then {Beverages = 'soda}
        else if Dish == 'Steak
            then {Beverages = 'lemonade}
        else {Beverages = '`apple juice`}
in let
    TableA = fun (season,guests,`veg guests`) =>
        if and(season == 'Fall,guests <= 8,`veg guests` == false)
            then {Dish = 'Spareribs}
        else if and(season == 'Winter,guests <= 8,`veg guests` == false)
            then {Dish = 'Roastbeef}
        else if and(season == 'Spring,guests <= 4,`veg guests` == false)
            then {Dish = '`Fancy Steak`}
        else if and(season == 'Spring,guests >= 5 && 8 <= 8,`veg guests` == false)
            then {Dish = 'Stew}
        else if and(season == 'Summer,guests <= 8,`veg guests` == false)
            then {Dish = '`Light salad and a nice steak`}
        else if guests > 8 && `veg guests` == false
            then {Dish = 'Stew}
        else {Dish = 'Pasta}
in let
    r0 = TableA('Fall,5,true)
in let
    d = r0.Dish
in let
    r1 = TableB(d,false)
in let
    b = r1.Beverages
in b


let
    TableA = fun (a) =>
        if and(a.season == 'Fall, a.guests ...
in let TableB = fun (b) => ...
in let
    r0 = TableA({season = 'Fall, guests = 5})
in TableB({d, false})

-- do i need to declare a as a record??

let results = fun (input_result) =>
    if a.mark >= 72
    &&
in results({mark = 72})