From c1b305bc1c34b301d7e2a18a4a30e8146e568ff8 Mon Sep 17 00:00:00 2001 From: Scott Richmond Date: Fri, 26 May 2023 15:23:12 -0400 Subject: [PATCH] Fix constraint -> guard --- src/ludus/grammar.clj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ludus/grammar.clj b/src/ludus/grammar.clj index 13c55ee..099de1e 100644 --- a/src/ludus/grammar.clj +++ b/src/ludus/grammar.clj @@ -174,7 +174,7 @@ (defp synthetic group order-1 [synth-root (zero+ synth-term)]) -(defp fn-clause group order-1 [tuple-pattern (maybe constraint) (quiet :rarrow) expression]) +(defp fn-clause group order-1 [tuple-pattern (maybe guard) (quiet :rarrow) expression]) (defp fn-entry order-1 [fn-clause terminators])