From b4e25a6372ffed291ccbba6874723baa55fa0bf9 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Tue, 29 Oct 2013 01:07:59 +0100
Subject: new VM is getting stable
---
lib/core/macros.nim | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
(limited to 'lib/core')
diff --git a/lib/core/macros.nim b/lib/core/macros.nim
index fc93a157d..0ac3d9b1b 100644
--- a/lib/core/macros.nim
+++ b/lib/core/macros.nim
@@ -158,7 +158,13 @@ proc `intVal=`*(n: PNimrodNode, val: biggestInt) {.magic: "NSetIntVal".}
proc `floatVal=`*(n: PNimrodNode, val: biggestFloat) {.magic: "NSetFloatVal".}
proc `symbol=`*(n: PNimrodNode, val: PNimrodSymbol) {.magic: "NSetSymbol".}
proc `ident=`*(n: PNimrodNode, val: TNimrodIdent) {.magic: "NSetIdent".}
-proc `typ=`*(n: PNimrodNode, typ: typedesc) {.magic: "NSetType".}
+#proc `typ=`*(n: PNimrodNode, typ: typedesc) {.magic: "NSetType".}
+# this is not sound! Unfortunately forbidding 'typ=' is not enough, as you
+# can easily do:
+# let bracket = semCheck([1, 2])
+# let fake = semCheck(2.0)
+# bracket[0] = fake # constructs a mixed array with ints and floats!
+
proc `strVal=`*(n: PNimrodNode, val: string) {.magic: "NSetStrVal".}
proc newNimNode*(kind: TNimrodNodeKind,
--
cgit 1.4.1-2-gfad0