From 6836c0271bf21faff1e97301ea3c50719b8049ba Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Tue, 9 Jun 2009 16:59:37 +0000
Subject: [PATCH] minor
---
src/funcheck/CodeExtraction.scala | 2 +-
src/funcheck/purescala/Trees.scala | 6 ++++++
2 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/src/funcheck/CodeExtraction.scala b/src/funcheck/CodeExtraction.scala
index e2de5a969..dbe28467e 100644
--- a/src/funcheck/CodeExtraction.scala
+++ b/src/funcheck/CodeExtraction.scala
@@ -37,7 +37,7 @@ trait CodeExtraction {
}
def extractCode(unit: CompilationUnit)(tree: Tree): Unit = tree match {
- case d @ DefDef(mods, name, tparams, vparamss, tpt, body) => {
+ case d @ DefDef(mods, name, tparams, vparamss, tpt, body) if !d.symbol.isConstructor => {
println("In: " + name)
println(d.symbol)
println(d.mods)
diff --git a/src/funcheck/purescala/Trees.scala b/src/funcheck/purescala/Trees.scala
index af637214a..75c7595b8 100644
--- a/src/funcheck/purescala/Trees.scala
+++ b/src/funcheck/purescala/Trees.scala
@@ -115,6 +115,12 @@ see examples in:
}
/* Literals */
+ // to be fixed! Should contain a reference to the definition of that
+ // variable, which would also give us its type.
+ case class Variable(id: Identifier) extends Expr {
+ val getType = AnyType
+ }
+
case class IntLiteral(value: Int) extends Expr {
val getType = Int32Type
}
--
GitLab