From 7c8b83a67f68d61d19feb477d2aa7f3609190f6e Mon Sep 17 00:00:00 2001 From: Erik Osheim Date: Fri, 12 Apr 2024 13:41:39 -0400 Subject: [PATCH] replace prime (') with 1 --- demo.modal | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/demo.modal b/demo.modal index abf0af4..8114542 100644 --- a/demo.modal +++ b/demo.modal @@ -31,9 +31,9 @@ <> ((decimal (1 (0 (0 (1 ())))))) (9) -- reverse ()-terminated list -<> (reverse ?x) (reverse' () ?x) -<> (reverse' ?a ()) (?a) -<> (reverse' ?a (?h ?t)) (reverse' (?h ?a) ?t) +<> (reverse ?x) (reverse1 () ?x) +<> (reverse1 ?a ()) (?a) +<> (reverse1 ?a (?h ?t)) (reverse1 (?h ?a) ?t) -- ( to integer ) <> ((int ?*)) ((sum f (one) g reverse (?*))) @@ -133,10 +133,10 @@ <> (dec (0 ())) (#err) <> (dec (1 ())) ((0 ())) <> (dec (1 ?t)) ((0 ?t)) -<> (dec (0 ?t)) (dec' (0 ?t)) -<> (dec' (1 ())) (()) -<> (dec' (1 ?t)) ((0 ?t)) -<> (dec' (0 ?t)) ((1 dec' ?t)) +<> (dec (0 ?t)) (dec1 (0 ?t)) +<> (dec1 (1 ())) (()) +<> (dec1 (1 ?t)) ((0 ?t)) +<> (dec1 (0 ?t)) ((1 dec1 ?t)) -- ( inc ) <> ((inc ())) ((1 ())) @@ -181,12 +181,12 @@ <> ((divmod6 ?x ?y ?s ?m ?d #gt)) ((divmod4 ?x ?y ?s ?m ?d)) -- ( floor divison ) -<> ((div ?x ?y)) ((div' (divmod ?x ?y))) -<> ((div' (?q ?r))) (?q) +<> ((div ?x ?y)) ((div1 (divmod ?x ?y))) +<> ((div1 (?q ?r))) (?q) -- ( remainder ) -<> ((mod ?x ?y)) ((mod' (divmod ?x ?y))) -<> ((mod' (?q ?r))) (?r) +<> ((mod ?x ?y)) ((mod1 (divmod ?x ?y))) +<> ((mod1 (?q ?r))) (?r) -- (bstr (mul (int 2399) (int 3499))) -(str (int 1234567)) +(str (int 12345))