From 82bfb5bc7bd8ce87f0fec1cda5b11d5309eea4e0 Mon Sep 17 00:00:00 2001 From: Nathan Braswell Date: Wed, 26 Apr 2023 00:39:08 -0400 Subject: [PATCH] small syntax expl in How it works --- website/presentation.html | 1 + 1 file changed, 1 insertion(+) diff --git a/website/presentation.html b/website/presentation.html index f69842d..26ef62c 100644 --- a/website/presentation.html +++ b/website/presentation.html @@ -335,6 +335,7 @@ Marco expansion kind of *is* partial evaluation! - Track call frames that need to be real to progress on every AST node - Can zero-in on areas that will make progress - Also tracks nodes previously stopped by recursion-stopper in case no longer under the frame that stopped the recursion + - AST nodes marked like so: \\(\kmkd{7}{x}\\) - Evaluate derived calls with parameter values, inline result even if not value if it doesn't depend on call frame --- # Partial Eval Example