From 376ed521cd92c2c53f2e9cc3cb16b85b67e2fdea Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 4 Jul 2018 22:38:56 -0400 Subject: - Re-named "degree" to "revolution". --- new-luxc/source/luxc/lang/translation/php/case.jvm.lux | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'new-luxc/source/luxc/lang/translation/php/case.jvm.lux') diff --git a/new-luxc/source/luxc/lang/translation/php/case.jvm.lux b/new-luxc/source/luxc/lang/translation/php/case.jvm.lux index 6f78637cf..0e0aecb7d 100644 --- a/new-luxc/source/luxc/lang/translation/php/case.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/php/case.jvm.lux @@ -114,9 +114,7 @@ [_ ( value)] (meta/wrap (_.when! (_.not (_.= (|> value ) cursor-top)) fail-pm!))) - ([#.Nat (<| _.int (:coerce Int))] - [#.Int _.int] - [#.Deg (<| _.int (:coerce Int))] + ([#.Int _.int] [#.Bool _.bool] [#.Frac _.float] [#.Text _.string]) -- cgit v1.2.3