kiss-lang/kiss-vscode
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

(macroDepth) and generativetestcase depth limit

Browse Source
This commit is contained in:
Nat Quayle Nelson
2021-08-08 11:42:24 -06:00
parent 91c264cfab
commit 4e0c2f5024
2 changed files with 37 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
kiss/src/kiss/Helpers.hx
View File

@@ -337,6 +337,7 @@ class Helpers {
} }
// This is kind of a big deal: // This is kind of a big deal:
interp.variables.set("eval", Helpers.runAtCompileTimeDynamic.bind(_, k)); interp.variables.set("eval", Helpers.runAtCompileTimeDynamic.bind(_, k));
interp.variables.set("macroDepth", () -> interps.length);
interps.push(interp); interps.push(interp);
} else { } else {

62
kiss/src/test/cases/GenerativeTestCase.kiss
View File

@@ -1,6 +1,7 @@
(defMacroVar maxInt 1000000000) (defMacroVar maxInt 1000000000)
(defMacroVar maxStringLength 20) (defMacroVar maxStringLength 20)
(defMacroVar maxExps 4) (defMacroVar maxExps 4)
(defMacroVar maxDepth 15)
(defMacroFunction _macroList [func length] (defMacroFunction _macroList [func length]
(for _ (range length) (func))) (for _ (range length) (func)))
@@ -22,37 +23,46 @@
(defMacroFunction _randomFalsyExp [] (defMacroFunction _randomFalsyExp []
((chooseRandom ((chooseRandom
[ (concat
->{`null} [
->{`false} ->{`null}
->{`""} ->{`false}
->{`[]} ->{`""}
->{`(or ,@(_randomLengthMacroList _randomFalsyExp))} ->{`[]}
->{`(and ]
,@(_randomLengthMacroList _randomUncertainExp) (if (< (macroDepth) maxDepth)
,(_randomFalsyExp) [
,@(_randomLengthMacroList _randomUncertainExp))} ->{`(or ,@(_randomLengthMacroList _randomFalsyExp))}
]))) ->{`(and
,@(_randomLengthMacroList _randomUncertainExp)
,(_randomFalsyExp)
,@(_randomLengthMacroList _randomUncertainExp))}
]
[])))))
(defMacro randomFalsyExp [] (defMacro randomFalsyExp []
(printExp (_randomFalsyExp) "Falsy")) (printExp (_randomFalsyExp) "Falsy"))
(defMacroFunction _randomTruthyExp [] (defMacroFunction _randomTruthyExp []
((chooseRandom ((chooseRandom
[ (concat
->{`true} [
->(_randomLetterString) ->{`true}
->(_randomInt) ->(_randomLetterString)
->(_randomFloat) ->(_randomInt)
// These cause stack overflows because it's hard to implement a recursion limit at macro time ->(_randomFloat)
/*->{`[,@(_randomLengthMacroList _randomLetterString)]} ]
->{`[,@(_randomLengthMacroList _randomInt)]} (if (< (macroDepth) maxDepth)
->{`[,@(_randomLengthMacroList _randomFloat)]} [
->{`(and ,@(_randomLengthMacroList _randomTruthyExp))} ->{`[,@(_randomLengthMacroList _randomLetterString)]}
->{`(or ->{`[,@(_randomLengthMacroList _randomInt)]}
,@(_randomLengthMacroList _randomUncertainExp) ->{`[,@(_randomLengthMacroList _randomFloat)]}
,(_randomTruthyExp) ->{`(and ,@(_randomLengthMacroList _randomTruthyExp))}
,@(_randomLengthMacroList _randomUncertainExp))}*/ ->{`(or
]))) ,@(_randomLengthMacroList _randomUncertainExp)
,(_randomTruthyExp)
,@(_randomLengthMacroList _randomUncertainExp))}
]
[])))))
(defMacro randomTruthyExp [] (defMacro randomTruthyExp []
(printExp (_randomTruthyExp) "Truthy")) (printExp (_randomTruthyExp) "Truthy"))