diff options
| author | Eduardo Julian | 2021-09-10 01:21:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-10 01:21:23 -0400 |
| commit | cd71a864ad5be13ed6ec6d046e0a2cb1087bdf94 (patch) | |
| tree | af6366578f98f1a8e551f4da9f3ad230fd63a4dd /lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | |
| parent | ef77466323f85a3d1b65b46a3deb93652ef22085 (diff) | |
Migrated variants to the new syntax.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux index e3ac4141b..8d92a68eb 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux @@ -48,10 +48,10 @@ Handler)) (function (_ extension_name phase archive input) (case (<s>.result parser input) - (#try.Success input') + {#try.Success input'} (handler extension_name phase archive input') - (#try.Failure error) + {#try.Failure error} (phase.except extension.invalid_syntax [extension_name %synthesis input])))) (import: java/lang/Double |