From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 1415/files/practicum/RefactorX.icl | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 1415/files/practicum/RefactorX.icl

(limited to '1415/files/practicum/RefactorX.icl')

diff --git a/1415/files/practicum/RefactorX.icl b/1415/files/practicum/RefactorX.icl
new file mode 100644
index 0000000..a2b5614
--- /dev/null
+++ b/1415/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
-- 
cgit v1.2.3