dev-index -> index

Author: andrew4328

Makefile

@@ -13,9 +13,9 @@ dev: install-production
 	./a.out
 
 build: compile-production
-	time env $(LSTSFLAGS) ./production --v23 --c -o deploy1.c SRC/dev-index.lsts
+	time env $(LSTSFLAGS) ./production --v23 --c -o deploy1.c SRC/index.lsts
 	$(CC) $(CFLAGS) deploy1.c -o deploy1
-	time env $(LSTSFLAGS) ./deploy1 --v23 --c -o deploy2.c SRC/dev-index.lsts
+	time env $(LSTSFLAGS) ./deploy1 --v23 --c -o deploy2.c SRC/index.lsts
 	diff deploy1.c deploy2.c
 	mv deploy1.c BOOTSTRAP/cli.c
 	rm -f deploy1 deploy1.c deploy2.c
@@ -50,7 +50,7 @@ compile-bootstrap:
 
 compile-production: compile-bootstrap
 	rm -f production
-	$(LSTSFLAGS) ./bootstrap.exe --v23 --c -o production.c SRC/dev-index.lsts
+	$(LSTSFLAGS) ./bootstrap.exe --v23 --c -o production.c SRC/index.lsts
 	$(CC) $(CFLAGS) -o production production.c
 	rm -f production.c
 

PLUGINS/BACKEND/C/dev-mangle-identifier.lsts

@@ -40,7 +40,7 @@ let mangle-identifier(kt: Type): S = (
          let r = mangle-identifier(tag);
          if parameters.length > 0 then r = r + mangle-identifier(c"<");
          let c-has-prev = false;
-         for list c in parameters {
+         for vector c in parameters {
             if c-has-prev { r = r + mangle-identifier(c",") };
             r = r + mangle-identifier(c);
             c-has-prev = true;

PLUGINS/BACKEND/C/dev-std-c-mangle-type.lsts

@@ -85,7 +85,7 @@ let std-c-mangle-type-internal-internal(tt: Type, blame: AST): S = (
          if parameters.length > 0 {
             r = r + mangle-identifier(c"<");
             let pi = 0;
-            for list p in parameters {
+            for vector p in parameters {
                if pi > 0 then r = r + mangle-identifier(c",");
                r = r + std-c-mangle-type-simple(p, blame);
                pi = pi + 1;
@@ -120,7 +120,7 @@ let std-c-mangle-type-simple(tt: Type, blame: AST): S = (
          if parameters.length > 0 {
             r = r + mangle-identifier(c"<");
             let pi = 0;
-            for list p in parameters {
+            for vector p in parameters {
                if pi > 0 then r = r + mangle-identifier(c",");
                r = r + std-c-mangle-type-simple(p, blame);
                pi = pi + 1;