diff options
| author | Eduardo Julian | 2018-07-04 22:38:56 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-04 22:38:56 -0400 |
| commit | 376ed521cd92c2c53f2e9cc3cb16b85b67e2fdea (patch) | |
| tree | 338f244cf5e7b53dc43724c826285689481808b5 /stdlib/source/lux/lang/compiler/synthesis | |
| parent | 4bc58162f3d381abf33c936eafc976a2f422258c (diff) | |
- Re-named "degree" to "revolution".
Diffstat (limited to 'stdlib/source/lux/lang/compiler/synthesis')
| -rw-r--r-- | stdlib/source/lux/lang/compiler/synthesis/case.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/lux/lang/compiler/synthesis/expression.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/lang/compiler/synthesis/case.lux b/stdlib/source/lux/lang/compiler/synthesis/case.lux index c12930963..88bfd36e9 100644 --- a/stdlib/source/lux/lang/compiler/synthesis/case.lux +++ b/stdlib/source/lux/lang/compiler/synthesis/case.lux @@ -30,7 +30,7 @@ ([#///analysis.Bool #//.Bool] [#///analysis.Nat (<| #//.I64 .i64)] [#///analysis.Int (<| #//.I64 .i64)] - [#///analysis.Deg (<| #//.I64 .i64)] + [#///analysis.Rev (<| #//.I64 .i64)] [#///analysis.Frac #//.F64] [#///analysis.Text #//.Text])) diff --git a/stdlib/source/lux/lang/compiler/synthesis/expression.lux b/stdlib/source/lux/lang/compiler/synthesis/expression.lux index 52ea33805..8a07b0aea 100644 --- a/stdlib/source/lux/lang/compiler/synthesis/expression.lux +++ b/stdlib/source/lux/lang/compiler/synthesis/expression.lux @@ -34,7 +34,7 @@ (<synthesis> (.i64 value))) ([#///analysis.Nat #//.I64] [#///analysis.Int #//.I64] - [#///analysis.Deg #//.I64]))) + [#///analysis.Rev #//.I64]))) (def: #export (synthesizer extensions) (-> (Extension ///extension.Synthesis) //.Synthesizer) |