diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/math.lux | 35 |
1 files changed, 18 insertions, 17 deletions
diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux index 063593890..f2c3710f2 100644 --- a/stdlib/source/library/lux/math.lux +++ b/stdlib/source/library/lux/math.lux @@ -14,6 +14,7 @@ [meta [extension (.only analysis)] ["@" target] + ["[0]" location] ["[0]" code ["<[1]>" \\parser]] [macro @@ -48,7 +49,7 @@ (when <+> [_ {.#Symbol [.prelude $]}] (phase#in (list#mix (function (_ left right) - {analysis.#Extension [.prelude $] (list left right)}) + [location.dummy {analysis.#Extension [.prelude $] (list left right)}]) last prevs)) @@ -108,28 +109,28 @@ ... else (phase.except ..no_arithmetic_for [:it:]))))))))))] - [+ [[.Nat (in (analysis.nat 0)) .i64_+#|generation] - [.Int (in (analysis.int +0)) .i64_+#|generation] - [.Rev (in (analysis.rev .0)) .i64_+#|generation] - [.Frac (in (analysis.frac +0.0)) .f64_+#|generation] + [+ [[.Nat (in (analysis.nat location.dummy 0)) .i64_+#|generation] + [.Int (in (analysis.int location.dummy +0)) .i64_+#|generation] + [.Rev (in (analysis.rev location.dummy .0)) .i64_+#|generation] + [.Frac (in (analysis.frac location.dummy +0.0)) .f64_+#|generation] [Ratio (type.expecting Ratio (phase archive (` <ratio/0>))) ratio.+] [Complex (type.expecting Complex (phase archive (` <complex/0>))) complex.+]]] - [- [[.Nat (in (analysis.nat 0)) .i64_-#|generation] - [.Int (in (analysis.int -0)) .i64_-#|generation] - [.Rev (in (analysis.rev .0)) .i64_-#|generation] - [.Frac (in (analysis.frac -0.0)) .f64_-#|generation] + [- [[.Nat (in (analysis.nat location.dummy 0)) .i64_-#|generation] + [.Int (in (analysis.int location.dummy -0)) .i64_-#|generation] + [.Rev (in (analysis.rev location.dummy .0)) .i64_-#|generation] + [.Frac (in (analysis.frac location.dummy -0.0)) .f64_-#|generation] [Ratio (type.expecting Ratio (phase archive (` <ratio/0>))) ratio.-] [Complex (type.expecting Complex (phase archive (` <complex/0>))) complex.-]]] - [* [[.Nat (in (analysis.nat 1)) nat.*] - [.Int (in (analysis.int +1)) .int_*#|generation] - [.Rev (in (analysis.rev rev./1)) rev.*] - [.Frac (in (analysis.frac +1.0)) .f64_*#|generation] + [* [[.Nat (in (analysis.nat location.dummy 1)) nat.*] + [.Int (in (analysis.int location.dummy +1)) .int_*#|generation] + [.Rev (in (analysis.rev location.dummy rev./1)) rev.*] + [.Frac (in (analysis.frac location.dummy +1.0)) .f64_*#|generation] [Ratio (type.expecting Ratio (phase archive (` <ratio/1>))) ratio.*] [Complex (type.expecting Complex (phase archive (` <complex/1>))) complex.*]]] - [/ [[.Nat (in (analysis.nat 1)) nat./] - [.Int (in (analysis.int +1)) .int_/#|generation] - [.Rev (in (analysis.rev rev./1)) rev./] - [.Frac (in (analysis.frac +1.0)) .f64_/#|generation] + [/ [[.Nat (in (analysis.nat location.dummy 1)) nat./] + [.Int (in (analysis.int location.dummy +1)) .int_/#|generation] + [.Rev (in (analysis.rev location.dummy rev./1)) rev./] + [.Frac (in (analysis.frac location.dummy +1.0)) .f64_/#|generation] [Ratio (type.expecting Ratio (phase archive (` <ratio/1>))) ratio./] [Complex (type.expecting Complex (phase archive (` <complex/1>))) complex./]]] ) |