aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2023-05-13Uncomment remaining testsmerge-parsing-stagesJakob L. Kreuze
2023-05-13Separate pass for compiling object literalsJakob L. Kreuze
2023-05-12Some processing order issues resolvedJakob L. Kreuze
2023-05-10Join filesJakob L. Kreuze
2023-05-10Uncomment failing testJakob L. Kreuze
2023-05-10Parse rules with `else' branchesJakob L. Kreuze
2023-05-10Arrays are multi-dimensional but we actually want to restrict to 1 dimensionJakob L. Kreuze
2023-05-10Finish parsing tests of interest; some issues discoveredJakob L. Kreuze
2023-05-05Initial parsing testsJakob L. Kreuze
2023-05-04Implement with-new-identifiers macroJakob L. Kreuze
2023-05-04Replace explicit lenses with a macro based on slot interfaceJakob L. Kreuze
2023-05-04Document (and fix) scope "breadcrumb" formatJakob L. Kreuze
2023-05-04Add `lift-comprehensions.scm'Jakob L. Kreuze
2023-05-04Compilation of default rulesJakob L. Kreuze
2023-05-04Clean up types.scmJakob L. Kreuze
2023-05-03Update unconditional assignment optimizationJakob L. Kreuze
Now is #t == #t with `bool-to-prop' pass
2023-05-03Initial compilation of 08-object-comprehension.regoJakob L. Kreuze
2023-05-03Fix parsing of comprehensionsJakob L. Kreuze
2023-05-03Initial work for compiling 08-object-comprehension.regoJakob L. Kreuze
2023-05-03Support compilation of set literalsJakob L. Kreuze
2023-05-03Fix issue of policy-map dropping rulesJakob L. Kreuze
2023-05-03Recurse on <lean-compare>Jakob L. Kreuze
2023-05-03Implement `bool-to-prop'.Jakob L. Kreuze
2023-05-03Use type inference in compile-referenceJakob L. Kreuze
2023-05-02compile-reference proof-of-conceptJakob L. Kreuze
2023-05-02Normalize representation of variables in <scope> constructJakob L. Kreuze
2023-04-27Successfully compile 04-rule-free-variables.regoJakob L. Kreuze
2023-04-27Eliminate multi-valued return for passesJakob L. Kreuze
2023-04-27Refactor read-and-parse.scmJakob L. Kreuze
2023-04-27Reorder passesJakob L. Kreuze
2023-04-27Add dependencies as submodulesJakob L. Kreuze
2023-04-26Successfully compiles 03-set-defined-by-predicate.regoJakob L. Kreuze
2023-04-26Fix compilation of referencesJakob L. Kreuze
2023-04-26Re-phrase scope analysis as constraint collectionJakob L. Kreuze
2023-04-26Clean up worktreeJakob L. Kreuze
2023-04-22Nix dead codeJakob L. Kreuze
2023-04-21Fix compilation of 04-rule-free-variables.regoJakob L. Kreuze
2023-04-21Limit forms that can add identifiers to the scopeJakob L. Kreuze
2023-04-21Missing subject in emit-inductiveJakob L. Kreuze
2023-04-20Procedures for refining the current scopeJakob L. Kreuze
2023-04-17Some testing. Not great, but lets me know when 01-03 compile differentlyJakob L. Kreuze
2023-04-17Import missing keyword from 05-head-subset-rule.regoJakob L. Kreuze
2023-04-17Slightly better but still not correct without scope analysisJakob L. Kreuze
2023-04-17Compilation of localsJakob L. Kreuze
2023-04-17Can now compile 03-set-defined-by-predicate.regoJakob L. Kreuze
2023-04-16GOOPS rewriteJakob L. Kreuze
2023-04-16Add examples/11-with-keyword and examples/12-some-keywordJakob L. Kreuze
2023-04-16First commit for `compile-constraints'Jakob L. Kreuze
2023-04-16Initial compilation of existential quantificationJakob L. Kreuze
2023-04-16Persistent scope information + funcallJakob L. Kreuze

© 2015 - 2026 Jakob L. Kreuze