From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Sep 2021 00:07:08 -0400 Subject: Made the "#" character great again! --- stdlib/source/specification/compositor/generation/reference.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/reference.lux') diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index d98e660e0..a8391f63a 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -31,10 +31,10 @@ expected r.safe_frac] (_.test "Definitions." (|> (define name (synthesis.f64 expected)) - (case> {#try.Success actual} + (case> {try.#Success actual} (f.= expected (:as Frac actual)) - {#try.Failure _} + {try.#Failure _} false))))) (def: (variable run) @@ -47,10 +47,10 @@ register (synthesis.variable/local register)]) (run "variable") - (case> {#try.Success actual} + (case> {try.#Success actual} (f.= expected (:as Frac actual)) - {#try.Failure _} + {try.#Failure _} false))))) (def: .public (spec runner definer) -- cgit v1.2.3