From 222c472449809ad4f550a8b7021e2f9dd4aa1b47 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Sun, 11 Aug 2019 20:45:49 -0700 Subject: [PATCH] Remove a cut that sucked. --- thun/gnu-prolog/defs.pl | 1 + thun/gnu-prolog/main.pl | 4 +--- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/thun/gnu-prolog/defs.pl b/thun/gnu-prolog/defs.pl index 9e6c86a..4ad0bb6 100644 --- a/thun/gnu-prolog/defs.pl +++ b/thun/gnu-prolog/defs.pl @@ -30,6 +30,7 @@ def(ifte,[[nullary],dipd,swap,branch]). def(ii,[[dip],dupdip,i]). def(infra,[swons,swaack,[i],dip,swaack]). def(infrst,[infra,first]). +def(least_fraction,[dup,[gcd],infra,[div],concat,map]). def(make_generator,[[codireco],ccons]). def(neg,[0,swap,-]). def(nullary,[[stack],dinfrirst]). diff --git a/thun/gnu-prolog/main.pl b/thun/gnu-prolog/main.pl index fa4718c..7705543 100644 --- a/thun/gnu-prolog/main.pl +++ b/thun/gnu-prolog/main.pl @@ -35,9 +35,7 @@ loop( Line, In, Out) :- line(NextLine), !, loop(NextLine, S, Out). -do_line(Line, In, Out) :- - phrase(joy_parse(E), Line), !, - thun(E, In, Out). +do_line(Line, In, Out) :- phrase(joy_parse(E), Line), thun(E, In, Out). do_line(_Line, S, S) :- write('Err'), nl. prompt :- write(`joy? `).