From 05d60436138e88c0f48be2376f7131f461bf6a82 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Fri, 11 Mar 2011 14:00:21 -0500
Subject: [PATCH] parsing let

---
 expression-structs.rkt |  6 ++++
 il-structs.rkt         |  1 +
 parse.rkt              | 63 +++++++++++++++++++++++++++++++++++++++++-
 3 files changed, 69 insertions(+), 1 deletion(-)

diff --git a/expression-structs.rkt b/expression-structs.rkt
index a985928..1cff2ae 100644
--- a/expression-structs.rkt
+++ b/expression-structs.rkt
@@ -22,6 +22,12 @@
 (define-struct: App ([operator : ExpressionCore]
                      [operands : (Listof ExpressionCore)]) #:transparent)
 
+(define-struct: Let1 ([name : Symbol]
+                      [rhs : ExpressionCore ]
+                      [body : ExpressionCore])
+  #:transparent)
+
+
 #;(define-struct: Letrec ([names : (Listof Symbol)]
                         [procs : (Listof Lam)]
                         [body : ExpressionCore]))
diff --git a/il-structs.rkt b/il-structs.rkt
index eb89aa0..859efd4 100644
--- a/il-structs.rkt
+++ b/il-structs.rkt
@@ -111,6 +111,7 @@
 
 
 
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Primitive Operators
 
diff --git a/parse.rkt b/parse.rkt
index 8a1d1b2..a403531 100644
--- a/parse.rkt
+++ b/parse.rkt
@@ -6,17 +6,22 @@
   (cond
     [(self-evaluating? exp)
      (make-Constant exp)]
+    
     [(quoted? exp)
      (make-Constant (text-of-quotation exp))]
+    
     [(variable? exp)
      (make-Var exp)] 
+    
     [(definition? exp)
      (make-Def (definition-variable exp)
                (parse (definition-value exp)))]
+    
     [(if? exp)
      (make-Branch (parse (if-predicate exp))
                   (parse (if-consequent exp))
                   (parse (if-alternative exp)))]
+    
     [(cond? exp)
      (parse (desugar-cond exp))]
     
@@ -36,6 +41,12 @@
      (make-App (parse (operator exp))
                (map parse (operands exp)))]
     
+    [(let? exp)
+     (parse-let exp)]
+    
+    [(let*? exp)
+     (parse-let* exp)]
+    
     [else
      (error 'compile "Unknown expression type ~e" exp)]))
 
@@ -132,4 +143,54 @@
          `(if ,question 
               ,answer
               ,(loop (cdr clauses))))])))
-         
\ No newline at end of file
+         
+
+
+(define (parse-let exp)
+  (let ([vars (let-variables exp)]
+        [rhss (let-rhss exp)]
+        [body (let-body exp)])
+    (cond 
+      [(= 1 (length vars))
+       (make-Let1 (car vars)
+                  (car rhss)
+                  (parse `(begin ,body)))]
+      [else
+       (error 'parse-let "not supported yet")])))
+
+(define (parse-let* exp)
+  (parse
+   (let ([body (let-body exp)])
+     (let loop ([vars (let-variables exp)]
+                [rhss (let-rhss exp)])
+       (cond
+         [(null? vars)
+          `(begin ,@body)]
+         [else
+         `(let ([,(car vars) ,(car rhss)])
+            ,(loop (cdr vars) (cdr rhss)))])))))
+              
+          
+;; any -> boolean
+(define (let? exp)
+  (tagged-list? exp 'let))
+
+;; any -> boolean
+(define (let*? exp)
+  (tagged-list? exp 'let*))
+
+;; let -> (listof symbol)
+(define (let-variables exp)
+  (map (lambda (clause)
+         (car clause))
+       (cadr exp)))
+
+;; let -> (listof expr)
+(define (let-rhss exp)
+  (map (lambda (clause)
+         (cadr clause))
+       (cadr exp)))
+
+;; let -> (listof expr)
+(define (let-body exp)
+  (caddr exp))
\ No newline at end of file