From 4bd2f378011bf28449ed907d637a7867524e3b4b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 2 Jul 2020 22:39:02 -0400 Subject: Now using the new syntax for variants (even though they still work the old way... for now) --- stdlib/source/spec/compositor/analysis/type.lux | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/source/spec/compositor/analysis') diff --git a/stdlib/source/spec/compositor/analysis/type.lux b/stdlib/source/spec/compositor/analysis/type.lux index b2daee77a..718c1d01e 100644 --- a/stdlib/source/spec/compositor/analysis/type.lux +++ b/stdlib/source/spec/compositor/analysis/type.lux @@ -46,12 +46,12 @@ ( value)]))] - [r.bit (0 "#Bit" (0)) code.bit] - [r.nat (0 "#I64" (1 (0 "#Nat" (0)) (0))) code.nat] - [r.int (0 "#I64" (1 (0 "#Int" (0)) (0))) code.int] - [r.rev (0 "#I64" (1 (0 "#Rev" (0)) (0))) code.rev] - [r.safe-frac (0 "#Frac" (0)) code.frac] - [(r.ascii/upper-alpha 5) (0 "#Text" (0)) code.text] + [r.bit (0 #0 "#Bit" (0 #0)) code.bit] + [r.nat (0 #0 "#I64" (0 #1 (0 #0 "#Nat" (0 #0)) (0 #0))) code.nat] + [r.int (0 #0 "#I64" (0 #1 (0 #0 "#Int" (0 #0)) (0 #0))) code.int] + [r.rev (0 #0 "#I64" (0 #1 (0 #0 "#Rev" (0 #0)) (0 #0))) code.rev] + [r.safe-frac (0 #0 "#Frac" (0 #0)) code.frac] + [(r.ascii/upper-alpha 5) (0 #0 "#Text" (0 #0)) code.text] ))))) (def: #export (spec expander state) -- cgit v1.2.3