From effbe423a71cbc02d525bb9978d92d57041ca751 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 6 May 2021 15:10:56 -0700 Subject: . --- shell/evaluate.mu | 25 +++++++++++++++++++++---- 1 file changed, 21 insertions(+), 4 deletions(-) diff --git a/shell/evaluate.mu b/shell/evaluate.mu index bd4da78b..78250ed1 100644 --- a/shell/evaluate.mu +++ b/shell/evaluate.mu @@ -131,13 +131,16 @@ fn evaluate _in-ah: (addr handle cell), _out-ah: (addr handle cell), env-h: (han var fn?/eax: boolean <- fn? first compare fn?, 0/false break-if-= - # turn (fn ...) into (fn env ...) + # turn (fn ...) into (litfn env ...) trace-text trace, "eval", "anonymous function" var rest-ah/eax: (addr handle cell) <- get in, right var tmp: (handle cell) var tmp-ah/edi: (addr handle cell) <- address tmp new-pair tmp-ah, env-h, *rest-ah - new-pair _out-ah, *first-ah, *tmp-ah + var litfn: (handle cell) + var litfn-ah/eax: (addr handle cell) <- address litfn + new-symbol litfn-ah, "litfn" + new-pair _out-ah, *litfn-ah, *tmp-ah trace-higher trace return } @@ -505,8 +508,8 @@ fn apply _f-ah: (addr handle cell), args-ah: (addr handle cell), out: (addr hand break-if-!= var first-ah/eax: (addr handle cell) <- get f, left var first/eax: (addr cell) <- lookup *first-ah - var fn?/eax: boolean <- fn? first - compare fn?, 0/false + var litfn?/eax: boolean <- litfn? first + compare litfn?, 0/false break-if-= var rest-ah/esi: (addr handle cell) <- get f, right var rest/eax: (addr cell) <- lookup *rest-ah @@ -1175,6 +1178,20 @@ fn fn? _x: (addr cell) -> _/eax: boolean { return result } +fn litfn? _x: (addr cell) -> _/eax: boolean { + var x/esi: (addr cell) <- copy _x + var type/eax: (addr int) <- get x, type + compare *type, 2/symbol + { + break-if-= + return 0/false + } + var contents-ah/eax: (addr handle stream byte) <- get x, text-data + var contents/eax: (addr stream byte) <- lookup *contents-ah + var result/eax: boolean <- stream-data-equal? contents, "litfn" + return result +} + fn test-evaluate-is-well-behaved { var t-storage: trace var t/esi: (addr trace) <- address t-storage -- cgit 1.4.1-2-gfad0