Changeset 332

Timestamp:

07/22/08 11:18:20 (2 months ago)

Author:

JarrettBillingsley

Message:

Finished semantic analysis.

Files:

• branches/v2new/compile.bat (modified) (1 diff)
• branches/v2new/minid/alloc.d (modified) (1 diff)
• branches/v2new/minid/ast.d (modified) (4 diffs)
• branches/v2new/minid/astvisitor.d (modified) (1 diff)
• branches/v2new/minid/compiler.d (modified) (1 diff)
• branches/v2new/minid/interpreter.d (modified) (1 diff)
• branches/v2new/minid/parser.d (modified) (1 diff)
• branches/v2new/minid/semantic.d (modified) (3 diffs)
• branches/v2new/samples/simple.md (modified) (1 diff)
• branches/v2new/test.d (modified) (2 diffs)
• branches/v2new/test.opt (modified) (previous)

branches/v2new/compile.bat

@@ -1 +1 @@
-@echo off
-build test.d -clean -debug -g -unittest -w -version=MDExtendedCoro
-
+ -version=MDExtendedCoro

branches/v2new/minid/alloc.d

@@ -208 +208 @@
-                {
-                    if(oldSize > 0 && _memBlocks.lookup(p) is null)
-
+, or are performing a double free
-    
-                    auto ret = reallocImpl(p, oldSize, newSize);

branches/v2new/minid/ast.d

@@ -83 +83 @@
-    "DecStmt",
-    "FuncEnvStmt",
+    "AppendStmt",
-
-    "CondExp",
@@ -143 +144 @@
-    "SuperCallExp",
-    "RawNamespaceExp",
-    "InternalArrayComp",
-    "InternalTableComp",
-
-    "ForeachComprehension",
@@ -1777 +1776 @@
-
-/**
+This node is an internal node used when rewriting array comprehensions.  It is used to append the
+values of the comprehension onto the array being built, and differs from a CatAssignStmt in that
+arrays will be appended as single elements, rather than having their elements concatenated.
+*/
+class AppendStmt : Statement
+{
+    /**
+    */
+    public Identifier arrayName;
+
+    /**
+    */
+    public Expression value;
+
+    /**
+    */
+    public this(ICompiler c, CompileLoc location, Identifier arrayName, Expression value)
+    {
+        super(c, location, location, AstTag.AppendStmt);
+        this.arrayName = arrayName;
+        this.value = value;
+    }
+}
+
+/**
-The base class for all expressions.
-*/
@@ -3145 +3169 @@
-        this.parent = parent;
-        this.attrs = attrs;
-    }
-}
-
-/**
-An internal AST node that is what TableComprehensions get transformed into during the semantic pass.
-*/
-class InternalTableComp : PrimaryExp
-{
-    /**
-    */
-    public Statement loop;
-
-    public this(ICompiler c, CompileLoc location, CompileLoc endLocation, Statement loop)
-    {
-        super(c, location, endLocation, AstTag.InternalTableComp);
-        this.loop = loop;
-    }
-}
-
-/**
-An internal AST node that is what ArrayComprehensions get transformed into during the semantic pass.
-*/
-class InternalArrayComp : PrimaryExp
-{
-    /**
-    */
-    public Statement loop;
-
-    public this(ICompiler c, CompileLoc location, CompileLoc endLocation, Statement loop)
-    {
-        super(c, location, endLocation, AstTag.InternalArrayComp);
-        this.loop = loop;
-    }
-}

branches/v2new/minid/astvisitor.d

@@ -432 +432 @@
-        return s;
-    }
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+

branches/v2new/minid/compiler.d

@@ -175 +175 @@
-        scope sem = new Semantic(this);
-        mod = sem.visit(mod);
-
-
-
+
+//
+//
-    }
-

branches/v2new/minid/interpreter.d

@@ -2760 +2760 @@
-private void checkNumParams(MDThread* t, uword n)
-{
-
+debug 
-
-    // Don'_t count 'this'

branches/v2new/minid/parser.d

@@ -2680 +2680 @@
-        return new(c) Identifier(c, loc, str);
-    }
-
+
-    private Identifier dummyFuncLiteralName(CompileLoc loc)
-    {

branches/v2new/minid/semantic.d

@@ -1065 +1065 @@
-            case AstTag.InExp:       auto old = e.as!(InExp);       return new(c) NotInExp(c, e.location, e.endLocation, old.op1, old.op2);
-            case AstTag.NotInExp:    auto old = e.as!(NotInExp);    return new(c) InExp(c, e.location, e.endLocation, old.op1, old.op2);
-
+
+
-
-            default:
@@ -1317 +1318 @@
-        e.value = visit(e.value);
-        e.forComp = visitForComp(e.forComp);
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-    {
-        e.exp = visit(e.exp);
-        e.forComp = visitForComp(e.forComp);
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-    public ForComprehension visitForComp(ForComprehension e)
-    {
@@ -1375 +1535 @@
-        return e;
-    }
+
+    package Identifier dummyComprehensionName(dchar[] type)(CompileLoc loc)
+    {
+        pushFormat(c.thread, "<" ~ type ~ " comprehension at {}({}:{})>", loc.file, loc.line, loc.col);
+        auto str = c.newString(getString(c.thread, -1));
+        pop(c.thread);
+        return new(c) Identifier(c, loc, str);
+    }
-}

branches/v2new/samples/simple.md

@@ -1 +1 @@
-module simple
+
+local x = {[v] = k for k, v in y if v < 10}
-
-/+

branches/v2new/test.d

@@ -33 +33 @@
-    auto vm = new MDVM;
-    auto t = openVM(vm);
-
+
-    uword memSize;
-
@@ -53 +53 @@
-//  Timer.init(t);
-//
-imple
+peed
-//      pushNull(t);
-//      rawCall(t, funcReg, 0);