From d3f5e1f4baa667bc2eb72edd542cf5d8cd3924ce Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 3 Jul 2018 18:40:16 -0400 Subject: - Re-named ":!" to ":coerce". --- stdlib/test/test/lux.lux | 2 +- stdlib/test/test/lux/lang/compiler/analysis/function.lux | 2 +- stdlib/test/test/lux/lang/compiler/analysis/primitive.lux | 2 +- stdlib/test/test/lux/lang/compiler/analysis/reference.lux | 2 +- stdlib/test/test/lux/lang/compiler/analysis/structure.lux | 2 +- stdlib/test/test/lux/lang/compiler/synthesis/primitive.lux | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) (limited to 'stdlib/test') diff --git a/stdlib/test/test/lux.lux b/stdlib/test/test/lux.lux index 3c731ebc4..6061f4829 100644 --- a/stdlib/test/test/lux.lux +++ b/stdlib/test/test/lux.lux @@ -145,7 +145,7 @@ (def: frac-deg (r.Random Deg) (|> r.deg - (:: r.Functor map (|>> (:! Nat) (bit.left-shift +11) (bit.right-shift +11) (:! Deg))))) + (:: r.Functor map (|>> (bit.left-shift +11) (bit.right-shift +11))))) (do-template [category rand-gen -> <- = ] [(context: (format "[" category "] " "Numeric conversions") diff --git a/stdlib/test/test/lux/lang/compiler/analysis/function.lux b/stdlib/test/test/lux/lang/compiler/analysis/function.lux index 147cbcc9e..33bae5c9b 100644 --- a/stdlib/test/test/lux/lang/compiler/analysis/function.lux +++ b/stdlib/test/test/lux/lang/compiler/analysis/function.lux @@ -24,7 +24,7 @@ (// ["_." primitive] ["_." structure])) -(def: analyse (expressionA.analyser (:! lang.Eval []))) +(def: analyse (expressionA.analyser (:coerce lang.Eval []))) (def: (check-apply expectedT num-args analysis) (-> Type Nat (Meta Analysis) Bool) diff --git a/stdlib/test/test/lux/lang/compiler/analysis/primitive.lux b/stdlib/test/test/lux/lang/compiler/analysis/primitive.lux index 18b8f6c46..0d4bffb39 100644 --- a/stdlib/test/test/lux/lang/compiler/analysis/primitive.lux +++ b/stdlib/test/test/lux/lang/compiler/analysis/primitive.lux @@ -17,7 +17,7 @@ [".A" expression]))) test)) -(def: #export analyse (expressionA.analyser (:! lang.Eval []))) +(def: #export analyse (expressionA.analyser (:coerce lang.Eval []))) (def: unit (r.Random Code) diff --git a/stdlib/test/test/lux/lang/compiler/analysis/reference.lux b/stdlib/test/test/lux/lang/compiler/analysis/reference.lux index ff7ce3412..98db0a006 100644 --- a/stdlib/test/test/lux/lang/compiler/analysis/reference.lux +++ b/stdlib/test/test/lux/lang/compiler/analysis/reference.lux @@ -20,7 +20,7 @@ test) (// ["_." primitive])) -(def: analyse (expressionA.analyser (:! lang.Eval []))) +(def: analyse (expressionA.analyser (:coerce lang.Eval []))) (context: "References" (<| (times +100) diff --git a/stdlib/test/test/lux/lang/compiler/analysis/structure.lux b/stdlib/test/test/lux/lang/compiler/analysis/structure.lux index 2f3e369d6..1ad28e16b 100644 --- a/stdlib/test/test/lux/lang/compiler/analysis/structure.lux +++ b/stdlib/test/test/lux/lang/compiler/analysis/structure.lux @@ -26,7 +26,7 @@ test) (// ["_." primitive])) -(def: analyse (expressionA.analyser (:! lang.Eval []))) +(def: analyse (expressionA.analyser (:coerce lang.Eval []))) (do-template [ ] [(def: #export diff --git a/stdlib/test/test/lux/lang/compiler/synthesis/primitive.lux b/stdlib/test/test/lux/lang/compiler/synthesis/primitive.lux index 1c8368204..aa0da89ea 100644 --- a/stdlib/test/test/lux/lang/compiler/synthesis/primitive.lux +++ b/stdlib/test/test/lux/lang/compiler/synthesis/primitive.lux @@ -33,7 +33,7 @@ (case [synthesis analysis] [(#//.Primitive (#//.Text valueS)) (#analysisL.Primitive (#analysisL.Unit valueA))] - (is? valueS (:! Text valueA)) + (is? valueS (:coerce Text valueA)) [(#//.Primitive (#//.Bool valueS)) (#analysisL.Primitive (#analysisL.Bool valueA))] -- cgit v1.2.3