177 177 ctxNeo.set(p.name, lay, args[i]); 178 178 auto v = eval(e.funbody, ctxNeo, true, lay); 179 179 // auto memoization 180 180 if( lay != "@v" ) 181 181 memo[lay][args] = v; 182 182 return v; 183 183 }); 184 + }, 185 + delegate Value (AST e) 186 + { 187 + throw genex!RuntimeException(e.pos, sprintf!"Unknown Kind of Expression %s"(typeid(e))); 188 + } 189 + ); 190 +} 191 + 192 +// [TODO] Optimization 193 +Value macroEval(AST e, Table ctx, bool AlwaysMacro) 194 +{ 195 + Layer theLayer = "@v"; 196 + 197 + Table pos = new Table; 198 + pos.set("filename", theLayer, new StrValue(e.pos.filename)); 199 + pos.set("lineno", theLayer, new IntValue(BigInt(e.pos.lineno))); 200 + pos.set("column", theLayer, new IntValue(BigInt(e.pos.column))); 201 + return e.match( 202 + (StrLiteral e) 203 + { 204 + Table t = new Table; 205 + t.set("pos", theLayer, pos); 206 + t.set("is", theLayer, new StrValue("str")); 207 + t.set("data", theLayer, new StrValue(e.data)); 208 + return t; 209 + }, 210 + (IntLiteral e) 211 + { 212 + Table t = new Table; 213 + t.set("pos", theLayer, pos); 214 + t.set("is", theLayer, new StrValue("int")); 215 + t.set("data", theLayer, new IntValue(e.data)); 216 + return t; 217 + }, 218 + (VarExpression e) 219 + { 220 + Table t = new Table; 221 + t.set("pos", theLayer, pos); 222 + t.set("is", theLayer, new StrValue("var")); 223 + t.set("name", theLayer, new StrValue(e.var)); 224 + return t; 225 + }, 226 + (LayeredExpression e) 227 + { 228 + if( AlwaysMacro ) 229 + { 230 + Table t = new Table; 231 + t.set("pos", theLayer, pos); 232 + t.set("is", theLayer, new StrValue("lay")); 233 + t.set("expr", theLayer, macroEval(e.expr,ctx,AlwaysMacro)); 234 + return cast(Value)t; 235 + } 236 + else 237 + { 238 + return eval(e.expr, ctx, true, e.lay); 239 + } 240 + }, 241 + (LetExpression e) 242 + { 243 + Table t = new Table; 244 + t.set("pos", theLayer, pos); 245 + t.set("is", theLayer, new StrValue("let")); 246 + t.set("name", theLayer, new StrValue(e.var)); 247 + t.set("init", theLayer, macroEval(e.init,ctx,AlwaysMacro)); 248 + t.set("expr", theLayer, macroEval(e.expr,ctx,AlwaysMacro)); 249 + return t; 250 + }, 251 + (FuncallExpression e) 252 + { 253 + // [TODO] @macro invokation!!!! 254 + // if e.fun is varname and its ctx[@macro] is set, switch to usual eval 255 + Table t = new Table; 256 + t.set("pos", theLayer, pos); 257 + t.set("is", theLayer, new StrValue("app")); 258 + t.set("fun", theLayer, macroEval(e.fun,ctx,AlwaysMacro)); 259 + Table args = new Table; 260 + foreach_reverse(a; e.args) { 261 + Table cons = new Table; 262 + cons.set("car",theLayer,macroEval(a,ctx,AlwaysMacro)); 263 + cons.set("cdr",theLayer,args); 264 + args = cons; 265 + } 266 + t.set("arg", theLayer, args); 267 + return t; 268 + }, 269 + (FunLiteral e) 270 + { 271 + Table t = new Table; 272 + t.set("pos", theLayer, pos); 273 + t.set("is", theLayer, new StrValue("fun")); 274 + t.set("body", theLayer, macroEval(e.funbody,ctx,AlwaysMacro)); 275 + Table param = new Table; 276 + foreach_reverse(p; e.params) 277 + { 278 + Table cons = new Table; 279 + Table kv = new Table; 280 + kv.set("name", theLayer, new StrValue(p.name)); 281 + foreach_reverse(lay; p.layers) 282 + { 283 + Table cons2 = new Table; 284 + cons2.set("car", theLayer, new StrValue(lay)); 285 + cons2.set("cdr", theLayer, kv); 286 + kv = cons2; 287 + } 288 + cons.set("car", theLayer, kv); 289 + cons.set("cdr", theLayer, param); 290 + param = cons; 291 + } 292 + t.set("param", theLayer, param); 293 + return t; 184 294 }, 185 295 delegate Value (AST e) 186 296 { 187 297 throw genex!RuntimeException(e.pos, sprintf!"Unknown Kind of Expression %s"(typeid(e))); 188 298 } 189 299 ); 190 300 }