From 716ca5377386ca87eded7dd514ccc17f8ed281c3 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 26 Jun 2022 02:57:13 -0400 Subject: De-sigil-ification: suffix : [Part 16] --- licentia/source/program/licentia/input.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'licentia') diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index 11af6acf6..437675acd 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -4,7 +4,7 @@ [abstract [monad (.only do)]] [control - ["[0]" exception (.only exception:)] + ["[0]" exception (.only exception)] ["<>" parser]] [data [text @@ -38,11 +38,11 @@ (.field "name" .string) (.field "version" .string)))) -(exception: .public (cannot_use_fractional_amount [amount Frac]) +(exception .public (cannot_use_fractional_amount [amount Frac]) (exception.report "Amount" (%.frac amount))) -(exception: .public (cannot_use_negative_amount [amount Int]) +(exception .public (cannot_use_negative_amount [amount Int]) (exception.report "Amount" (%.int amount))) @@ -58,7 +58,7 @@ (i.> +0 amountI))] (wrap (.nat amountI)))) -(exception: .public (invalid_period [period (Period Nat)]) +(exception .public (invalid_period [period (Period Nat)]) (exception.report "Start" (%.nat (the time.#start period)) "End" (%.nat (the time.#end period)))) -- cgit v1.2.3