diff options
Diffstat (limited to 'new-luxc/source/luxc/synthesizer/case.lux')
| -rw-r--r-- | new-luxc/source/luxc/synthesizer/case.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/synthesizer/case.lux b/new-luxc/source/luxc/synthesizer/case.lux index ee2ef84b0..8221b4f8d 100644 --- a/new-luxc/source/luxc/synthesizer/case.lux +++ b/new-luxc/source/luxc/synthesizer/case.lux @@ -20,7 +20,7 @@ [#la;NatP #ls;NatP] [#la;IntP #ls;IntP] [#la;DegP #ls;DegP] - [#la;RealP #ls;RealP] + [#la;FracP #ls;FracP] [#la;TextP #ls;TextP]) (#la;TupleP membersP) @@ -66,7 +66,7 @@ [#ls;NatP n.=] [#ls;IntP i.=] [#ls;DegP d.=] - [#ls;RealP r.=] + [#ls;FracP f.=] [#ls;TextP T/=]) (^template [<tag> <side>] |