))
- ( (~ ( subject)))
- ( (~ ( param)))))))]
+ [sampleI (expressionG;generate (` ( ((~ (code;text ))
+ ( (~ ( subject)))
+ ( (~ ( param)))))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success valueG)
@@ -167,9 +167,9 @@
(~~ (do-template [ ]
[(test
(|> (do meta;Monad
- [sampleI (@;generate (` ( ((~ (code;text ))
- ( (~ (code;nat subject)))
- ( (~ (code;nat param)))))))]
+ [sampleI (expressionG;generate (` ( ((~ (code;text ))
+ ( (~ (code;nat subject)))
+ ( (~ (code;nat param)))))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success valueG)
@@ -200,9 +200,9 @@
(~~ (do-template [ ]
[(test
(|> (do meta;Monad
- [sampleI (@;generate (` ( ((~ (code;text ))
- ( (~ ( subject)))
- ("jvm convert long-to-int" (~ (code;nat shift)))))))]
+ [sampleI (expressionG;generate (` ( ((~ (code;text ))
+ ( (~ ( subject)))
+ ("jvm convert long-to-int" (~ (code;nat shift)))))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success valueG)
@@ -231,9 +231,9 @@
(with-expansions [ (do-template [ ]
[(test
(|> (do meta;Monad
- [sampleI (@;generate (` ((~ (code;text ))
- ( (~ ( subject)))
- ( (~ ( param))))))]
+ [sampleI (expressionG;generate (` ((~ (code;text ))
+ ( (~ ( subject)))
+ ( (~ ( param))))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success valueG)
@@ -285,12 +285,12 @@
(with-expansions [ (do-template [ ]
[(test
(|> (do meta;Monad
- [sampleI (@;generate (|> (jvm//array//new +0 size)
- (jvm//array//write idx )
- (jvm//array//read idx)
- (~)
-
- (`)))]
+ [sampleI (expressionG;generate (|> (jvm//array//new +0 size)
+ (jvm//array//write idx )
+ (jvm//array//read idx)
+ (~)
+
+ (`)))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputZ)
@@ -334,12 +334,12 @@
(with-expansions [ (do-template [ ]
[(test
(|> (do meta;Monad
- [sampleI (@;generate (|> (jvm//array//new +0 size)
- (jvm//array//write idx )
- (jvm//array//read idx)
- (~)
-
- (`)))]
+ [sampleI (expressionG;generate (|> (jvm//array//new +0 size)
+ (jvm//array//write idx )
+ (jvm//array//read idx)
+ (~)
+
+ (`)))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -362,11 +362,11 @@
[#let [inner (|> ("jvm array new" +0 "java.lang.Double" (~ (code;nat size)))
("jvm array write" "java.lang.Double" (~ (code;nat idx)) (~ (code;frac valueD)))
(`))]
- sampleI (@;generate (|> ("jvm array new" +1 "java.lang.Double" (~ (code;nat size)))
- ("jvm array write" "#Array" (~ (code;nat idx)) (~ inner))
- ("jvm array read" "#Array" (~ (code;nat idx)))
- ("jvm array read" "java.lang.Double" (~ (code;nat idx)))
- (`)))]
+ sampleI (expressionG;generate (|> ("jvm array new" +1 "java.lang.Double" (~ (code;nat size)))
+ ("jvm array write" "#Array" (~ (code;nat idx)) (~ inner))
+ ("jvm array read" "#Array" (~ (code;nat idx)))
+ ("jvm array read" "java.lang.Double" (~ (code;nat idx)))
+ (`)))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -376,7 +376,7 @@
false)))
(test "jvm array length"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm array length" ("jvm array new" +0 "java.lang.Object" (~ (code;nat size))))))]
+ [sampleI (expressionG;generate (` ("jvm array length" ("jvm array new" +0 "java.lang.Object" (~ (code;nat size))))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -426,7 +426,7 @@
($_ seq
(test "jvm object null"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm object null?" ("jvm object null"))))]
+ [sampleI (expressionG;generate (` ("jvm object null?" ("jvm object null"))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -436,7 +436,7 @@
false)))
(test "jvm object null?"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm object null?" (~ (code;int sample)))))]
+ [sampleI (expressionG;generate (` ("jvm object null?" (~ (code;int sample)))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -446,7 +446,7 @@
false)))
(test "jvm object synchronized"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm object synchronized" (~ (code;int monitor)) (~ (code;int sample)))))]
+ [sampleI (expressionG;generate (` ("jvm object synchronized" (~ (code;int monitor)) (~ (code;int sample)))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -457,10 +457,10 @@
(test "jvm object throw"
(|> (do meta;Monad
[_ @runtime;generate
- sampleI (@;generate (` ("lux try" ("lux function" +1 []
- ("jvm object throw" ("jvm member invoke constructor"
- "java.lang.Throwable"
- (~ exception-message$)))))))]
+ sampleI (expressionG;generate (` ("lux try" ("lux function" +1 []
+ ("jvm object throw" ("jvm member invoke constructor"
+ "java.lang.Throwable"
+ (~ exception-message$)))))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -475,7 +475,7 @@
false)))
(test "jvm object class"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm object class" (~ (code;text class)))))]
+ [sampleI (expressionG;generate (` ("jvm object class" (~ (code;text class)))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -485,7 +485,7 @@
false)))
(test "jvm object instance?"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm object instance?" (~ (code;text instance-class)) (~ instance))))]
+ [sampleI (expressionG;generate (` ("jvm object instance?" (~ (code;text instance-class)) (~ instance))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -515,7 +515,7 @@
($_ seq
(test "jvm member static get"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm convert int-to-long" ("jvm member static get" "java.util.GregorianCalendar" "AD" "int"))))]
+ [sampleI (expressionG;generate (` ("jvm convert int-to-long" ("jvm member static get" "java.util.GregorianCalendar" "AD" "int"))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -525,8 +525,8 @@
false)))
(test "jvm member static put"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm member static put" "java.awt.datatransfer.DataFlavor" "allHtmlFlavor" "java.awt.datatransfer.DataFlavor"
- ("jvm member static get" "java.awt.datatransfer.DataFlavor" "allHtmlFlavor" "java.awt.datatransfer.DataFlavor"))))]
+ [sampleI (expressionG;generate (` ("jvm member static put" "java.awt.datatransfer.DataFlavor" "allHtmlFlavor" "java.awt.datatransfer.DataFlavor"
+ ("jvm member static get" "java.awt.datatransfer.DataFlavor" "allHtmlFlavor" "java.awt.datatransfer.DataFlavor"))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -536,7 +536,7 @@
false)))
(test "jvm member virtual get"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm member virtual get" "org.omg.CORBA.ValueMember" "name" "java.lang.String" (~ value-memberS))))]
+ [sampleI (expressionG;generate (` ("jvm member virtual get" "org.omg.CORBA.ValueMember" "name" "java.lang.String" (~ value-memberS))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -546,9 +546,9 @@
false)))
(test "jvm member virtual put"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm member virtual get" "org.omg.CORBA.ValueMember" "name" "java.lang.String"
- ("jvm member virtual put" "org.omg.CORBA.ValueMember" "name" "java.lang.String"
- (~ (code;text other-sample-string)) (~ value-memberS)))))]
+ [sampleI (expressionG;generate (` ("jvm member virtual get" "org.omg.CORBA.ValueMember" "name" "java.lang.String"
+ ("jvm member virtual put" "org.omg.CORBA.ValueMember" "name" "java.lang.String"
+ (~ (code;text other-sample-string)) (~ value-memberS)))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -573,7 +573,7 @@
($_ seq
(test "jvm member invoke static"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm member invoke static" "java.lang.Long" "decode" "java.lang.Long" (~ coded-intS))))]
+ [sampleI (expressionG;generate (` ("jvm member invoke static" "java.lang.Long" "decode" "java.lang.Long" (~ coded-intS))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -583,8 +583,8 @@
false)))
(test "jvm member invoke virtual"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm member invoke virtual" "java.lang.Object" "equals" "boolean"
- (~ (code;int sample)) (~ object-longS))))]
+ [sampleI (expressionG;generate (` ("jvm member invoke virtual" "java.lang.Object" "equals" "boolean"
+ (~ (code;int sample)) (~ object-longS))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -594,8 +594,8 @@
false)))
(test "jvm member invoke interface"
(|> (do meta;Monad
- [sampleI (@;generate (` ("jvm member invoke interface" "java.util.Collection" "add" "boolean"
- (~ array-listS) (~ object-longS))))]
+ [sampleI (expressionG;generate (` ("jvm member invoke interface" "java.util.Collection" "add" "boolean"
+ (~ array-listS) (~ object-longS))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
@@ -605,7 +605,7 @@
false)))
(test "jvm member invoke constructor"
(|> (do meta;Monad
- [sampleI (@;generate array-listS)]
+ [sampleI (expressionG;generate array-listS)]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success outputG)
diff --git a/new-luxc/test/test/luxc/generator/reference.lux b/new-luxc/test/test/luxc/generator/reference.lux
index 0e6f9ada5..9df6d8b10 100644
--- a/new-luxc/test/test/luxc/generator/reference.lux
+++ b/new-luxc/test/test/luxc/generator/reference.lux
@@ -12,7 +12,7 @@
["_;" module]
(generator [";G" statement]
[";G" eval]
- [";G" expr]
+ [";G" expression]
[";G" case]
[";G" runtime]
(host ["$" jvm]
@@ -47,7 +47,7 @@
(|> (do meta;Monad
[_ (_module;with-module +0 module-name
(statementG;generate-def def-name Int valueI empty-metaI (' {})))
- sampleI (exprG;generate (code;symbol [module-name def-name]))]
+ sampleI (expressionG;generate (code;symbol [module-name def-name]))]
(evalG;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success valueG)
@@ -65,7 +65,7 @@
($_ seq
(test "Can refer to local variables/registers."
(|> (do meta;Monad
- [sampleI (caseG;generate-let exprG;generate
+ [sampleI (caseG;generate-let expressionG;generate
register
(code;int value)
(` ((~ (code;int (nat-to-int register))))))]
diff --git a/new-luxc/test/test/luxc/generator/structure.lux b/new-luxc/test/test/luxc/generator/structure.lux
index 3157d85d9..9143ba5c8 100644
--- a/new-luxc/test/test/luxc/generator/structure.lux
+++ b/new-luxc/test/test/luxc/generator/structure.lux
@@ -19,7 +19,7 @@
(lang ["ls" synthesis])
[analyser]
[synthesizer]
- (generator ["@" expr]
+ (generator [";G" expression]
["@;" eval]
["@;" runtime]
["@;" common]))
@@ -69,7 +69,7 @@
members (r;list size gen-primitive)]
(test "Can generate tuple."
(|> (do meta;Monad
- [sampleI (@;generate (code;tuple members))]
+ [sampleI (expressionG;generate (code;tuple members))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success valueG)
@@ -90,7 +90,7 @@
(test "Can generate variant."
(|> (do meta;Monad
[runtime-bytecode @runtime;generate
- sampleI (@;generate (` ((~ (code;nat tag)) (~ (code;bool last?)) (~ member))))]
+ sampleI (expressionG;generate (` ((~ (code;nat tag)) (~ (code;bool last?)) (~ member))))]
(@eval;eval sampleI))
(meta;run (init-compiler []))
(case> (#e;Success valueG)
--
cgit v1.2.3