1 files changed, 32 insertions, 0 deletions
diff --git a/files/practicum/RefactorX.icl b/files/practicum/RefactorX.icl
new file mode 100644
index 0000000..a2b5614
--- /dev/null
+++ b/files/practicum/RefactorX.icl
@@ -0,0 +1,32 @@
+implementation module RefactorX
+
+import StdEnv
+
+Start = map toString [E1,E2,E3,E4,E5]
+
+E1 = (let x = 42 - 3 in x / 0) + (let y = 6 in y * y)
+E2 = let x = 42 in x + (let x = 58 in x)
+E3 = let x = 1 in let y = 2 in let x = 3 in 4
+E4 = let x = 1 in x + y
+E5 = (let x = 1 in x) * x
+
+::	Expr							= NR   Int
+									| VAR  Name
+									| OP   Expr Operator Expr
+									| LET  Name     Expr Expr
+::	Name							:== String
+::	Operator						= PLUS | MIN | MUL | DIV
+::	Val								= Result Int | Undef
+
+//  expressies afdrukken:
+instance toString Expr where
+	toString ...
+
+//	vrije variabelen:
+free								:: Expr -> [Name]
+
+//	verwijder deelexpressies met ongebruikte let-variabelen:
+remove_unused_lets					:: Expr -> Expr
+
+//	evaluator met tabel van naam-waarde paren:
+eval								:: Expr -> Val