diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/test/test/luxc/synthesizer/common.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/test/test/luxc/synthesizer/common.lux b/new-luxc/test/test/luxc/synthesizer/common.lux index 88eeaea7c..10b1a88b2 100644 --- a/new-luxc/test/test/luxc/synthesizer/common.lux +++ b/new-luxc/test/test/luxc/synthesizer/common.lux @@ -13,7 +13,7 @@ (r;either (r/map (|>. #la;Nat) r;nat) (r/map (|>. #la;Int) r;int))) (r;either (r;either (r/map (|>. #la;Deg) r;deg) - (r/map (|>. #la;Real) r;real)) + (r/map (|>. #la;Frac) r;frac)) (r/map (|>. #la;Text) (r;text +5))))) (def: #export (corresponds? analysis synthesis) @@ -27,7 +27,7 @@ [#la;Nat #ls;Nat n.=] [#la;Int #ls;Int i.=] [#la;Deg #ls;Deg d.=] - [#la;Real #ls;Real r.=] + [#la;Frac #ls;Frac f.=] [#la;Text #ls;Text T/=]) _ |