No commit message

No commit message

src/purescala/Trees.scala

@@ -12,6 +12,13 @@ object Trees {
     override def toString: String = PrettyPrinter(this)
   }
 
+  /* Like vals */
+  case class Let(binder: Identifier, expression: Expr) extends Expr {
+    val et = expression.getType
+    if(et != NoType)
+      setType(et)
+  }
+
   /* Control flow */
   case class FunctionInvocation(funDef: FunDef, args: Seq[Expr]) extends Expr
   case class IfExpr(cond: Expr, then: Expr, elze: Expr) extends Expr 

testcases/RedBlack.scala

@@ -53,8 +53,11 @@ object RedBlack {
 
   def makeBlack(t: Tree) = {
     require(t != EmptyTree())
-    val Node(_, left, x, right) = t 
-    Node(Black(), left, x, right)
+    //val Node(_, left, x, right) = t 
+    //Node(Black(), left, x, right)
+    t match {
+      case Node(_, left, x, right) => Node(Black(), left, x, right)
+    }
   } ensuring ((x:Tree) => x match {case Node(Black(), _, _, _) => true; case _ => false})
 
   def ins_(t: Tree, e: Int): Tree = t match {