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

special form macroExpanders, (object) implementation

Browse Source
This commit is contained in:
Nat Quayle Nelson
2024-02-17 09:50:43 -07:00
parent c9747fd467
commit fcaaa5e9d5
2 changed files with 23 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/kiss/Kiss.hx
View File

@@ -46,6 +46,7 @@ typedef KissState = {
endOfFileReadTable:ReadTable,
fieldForms:Map<String, FieldFormFunction>,
specialForms:Map<String, SpecialFormFunction>,
specialFormMacroExpanders:Map<String, MacroFunction>,
macros:Map<String, MacroFunction>,
formDocs:Map<String, FormDoc>,
doc:(String, Null<Int>, Null<Int>, ?String, ?String)->Void,
@@ -100,6 +101,7 @@ class Kiss {
endOfFileReadTable: new ReadTable(),
fieldForms: new Map(),
specialForms: null,
specialFormMacroExpanders: null,
macros: null,
formDocs: new Map(),
doc: null,
@@ -215,6 +217,7 @@ class Kiss {
FieldForms.addBuiltins(k);
k.specialForms = SpecialForms.builtins(k, context);
k.specialFormMacroExpanders = SpecialForms.builtinMacroExpanders(k, context);
k.macros = Macros.builtins(k);
return k;
@@ -620,6 +623,7 @@ class Kiss {
var macros = k.macros;
var fieldForms = k.fieldForms;
var specialForms = k.specialForms;
var specialFormMacroExpanders = k.specialFormMacroExpanders;
var formDocs = k.formDocs;
// Bind the table arguments of this function for easy recursive calling/passing
@@ -735,6 +739,9 @@ class Kiss {
case CallExp({pos: _, def: Symbol(specialForm)}, args) if (specialForms.exists(specialForm) && !macroExpandOnly):
checkNumArgs(specialForm);
Right(Kiss.measure(specialForm, ()->specialForms[specialForm](exp, args.copy(), k), true));
case CallExp({pos: _, def: Symbol(specialForm)}, args) if (specialFormMacroExpanders.exists(specialForm) && macroExpandOnly):
checkNumArgs(specialForm);
Left(specialFormMacroExpanders[specialForm](exp, args.copy(), k));
case CallExp({pos: _, def: Symbol(alias)}, args) if (k.callAliases.exists(alias)):
convert(CallExp(k.callAliases[alias].withPosOf(exp), args).withPosOf(exp));
case CallExp(func, args):

16
src/kiss/SpecialForms.hx
View File

@@ -6,6 +6,7 @@ import kiss.Reader;
import kiss.ReaderExp;
import uuid.Uuid;
import kiss.Kiss;
import kiss.Macros;
using uuid.Uuid;
using kiss.Reader;
@@ -648,6 +649,21 @@ class SpecialForms {
return map;
}
public static function builtinMacroExpanders(k:KissState, ?context:FrontendContext) {
var map:Map<String, MacroFunction> = [];
// when macroExpanding an (object) expression, don't apply aliases to the field names
map["object"] = (wholeExp:ReaderExp, args:Array<ReaderExp>, k:KissState) -> {
var b = wholeExp.expBuilder();
var pairs = Lambda.flatten([for (pair in args.groups(2)) {
[pair[0], Kiss.macroExpand(pair[1], k)];
}]);
b.callSymbol("object", pairs);
};
return map;
}
public static function caseOr(wholeExp:ReaderExp, args:Array<ReaderExp>, k:KissState):Expr {
wholeExp.checkNumArgs(2, null, "(or <pattern1> <pattern2> <patterns...>)");