Skip to content
Snippets Groups Projects
Commit e3450f86 authored by Alan Schmitt's avatar Alan Schmitt Committed by Thomas Wood
Browse files

deleting unused files

parent bbb86502
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
generator/tests/js/calcunlog.js deleted 100644 → 0
+ 0
− 74
View file @ bbb86502
Stack = {
is_empty: function (s) {
return s === {type: "N"};
},
push: function (x, stack) {
return {type: "C", value: x, stack: stack};
},
pop: function (stack) {
return (function () {
switch (stack.type) {
case "C": var x = stack.value, xs = stack.stack;
return x;
case "K": var x = stack.value, xs = stack.stack;
return x;
case "B":
return stuck("Empty list");
case "N":
return stuck("Empty list");
}
}())
;
},
}
var eval_ = function (expr) {
return (function () {
switch (expr.type) {
case "Const": var n = expr.value;
return n;
case "Add": var ls = expr.left, rs = expr.right;
return eval_(ls) + eval_(rs);
case "Sub": var ls = expr.left, rs = expr.right;
return eval_(ls) - eval_(rs);
case "Mul": var ls = expr.left, rs = expr.right;
return eval_(ls) * eval_(rs);
case "Div": var ls = expr.left, rs = expr.right;
return eval_(ls) / eval_(rs);
}
}())
;
};
var print_expr = function (expr) {
return (function () {
switch (expr.type) {
case "Const": var n = expr.value;
return to_string(n);
case "Add": var ls = expr.left, rs = expr.right;
return "(" + print_expr(ls) + ")" + " + " + print_expr(rs);
case "Sub": var ls = expr.left, rs = expr.right;
return "(" + print_expr(ls) + ")" + " - " + print_expr(rs);
case "Mul": var ls = expr.left, rs = expr.right;
return "(" + print_expr(ls) + ")" + " * " + print_expr(rs);
case "Div": var ls = expr.left, rs = expr.right;
return "(" + print_expr(ls) + ")" + " / " + print_expr(rs);
}
}())
;
};
var f = (function () {
var bli = {type: "Stack.C", value: 1, stack: {type: "Stack.N"}};
return (function () {
var source = parse("((1972 / 29) / 2) + 8");
return print(print_expr(source) + " = " + to_string(eval_(source)));
}())
;
}())
;
generator/tests/js/letunlog.js deleted 100644 → 0
+ 0
− 34
View file @ bbb86502
(function () {
var abr = 1;
var bli = 4;
return (function () {
if (true) {
return abr;
} else {
return bli;
}
})();}())var app = function (x) {
return x;
};
var app2 = function (x) {
return x;
};
var affiche = function (x) {
return (function () {
switch (x.type) {
case "As":
return "As";
case "Petite": var n = x.petite;
return "Petite";
}
}())
;
};
var pet = {type: "Petite", petite: 5};
var cinq = 5;
generator/tests/js/mylistunlog.js deleted 100644 → 0
+ 0
− 163
View file @ bbb86502
var incr = function (i) {
return add(i, 1);
};
var head = function (d, l) {
return (function () {
switch (l.type) {
case "Nil":
return d;
case "Cons": var x = l.hd, xs = l.tl;
return x;
}
}())
;
};
var tail = function (d, l) {
return (function () {
switch (l.type) {
case "Nil":
return d;
case "Cons": var x = l.hd, xs = l.tl;
return xs;
}
}())
;
};
var init = function (l) {
return (function () {
switch (l.type) {
case "Nil":
return {type: "Nil"};
case "Cons": var x = l.hd, xs = l.tl;
return xs;
}
}())
;
};
var last = function (l) {
return (function () {
switch (l.type) {
case "Nil":
return {type: "Nil"};
case "Cons": var x = l.hd, xs = l.tl;
return (function () {
switch (xs.type) {
case "Nil":
return x;
default:
return last(xs);
}
}())
;
}
}())
;
};
var fold_left = function (f, acc, l) {
return (function () {
switch (l.type) {
case "Nil":
return acc;
case "Cons": var x = l.hd, xs = l.tl;
return fold_left(f, f(acc, x), xs);
}
}())
;
};
var fold_right = function (f, l, acc) {
return (function () {
switch (l.type) {
case "Nil":
return acc;
case "Cons": var x = l.hd, xs = l.tl;
return f(fold_right(f, xs, acc), x);
}
}())
;
};
var rev_map = function (f, l) {
return fold_left(function (acc, x) {
return {type: "Cons", hd: f(x), tl: acc};
}, {type: "Nil"}, l);
};
var map = function (f, l) {
return fold_right(function (acc, x) {
return {type: "Cons", hd: f(x), tl: acc};
}, l, {type: "Nil"});
};
var rev = function (l) {
return fold_left(function (acc, x) {
return {type: "Cons", hd: x, tl: acc};
}, {type: "Nil"}, l);
};
var length = function (l) {
return fold_left(function (acc, x) {
return incr(acc);
}, 0, l);
};
var range = function (i, j, acc) {
return (function () {
if (i <= j) {
return range(incr(i), j, {type: "Cons", hd: i, tl: acc});
} else {
return acc;
}
})();
};
var list0 = {type: "Nil"};
var list1 = range(0, 1, {type: "Nil"});
var list2 = range(1, 5, {type: "Nil"});
var sqr = function (x) {
return mul(x, x);
};
var print_list = function (l) {
return (function () {
var aux = function (acc, l) {
return (function () {
switch (l.type) {
case "Nil":
return acc;
case "Cons": var x = l.hd, xs = l.tl;
return print(xs),
(function () {
if (xs === {type: "Nil"}) {
return aux(x + acc, xs);
} else {
return aux(x + "," + acc, xs);
}
})();
}
}())
;
};
return "[" + aux("", rev(l)) + "]";
}())
;
};
(function () {
var f = 1;
return print(length(list0)),
print(length(list1)),
print(length(list2)),
print(print_list(map(function (x) {
return x * x;
}, list0))),
print(print_list(map(sqr, list1))),
print(print_list(map(sqr, list2)));}())
generator/tests/js/recordsunlog.js deleted 100644 → 0
+ 0
− 7
View file @ bbb86502
var boss = {
name: "smith",
status: "boss",
age: 48
};
\ No newline at end of file
generator/tests/js/stackunlog.js deleted 100644 → 0
+ 0
− 24
View file @ bbb86502
var is_empty = function (s) {
return s === {type: "N"};
};
var push = function (x, stack) {
return {type: "C", value: x, stack: stack};
};
var pop = function (stack) {
return (function () {
switch (stack.type) {
case "C": var x = stack.value, xs = stack.stack;
return x;
case "K": var x = stack.value, xs = stack.stack;
return x;
case "B":
return stuck("Empty list");
case "N":
return stuck("Empty list");
}
}())
;
};
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment