diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/meta/poly.lux | 20 | ||||
-rw-r--r-- | stdlib/source/lux/meta/poly/eq.lux | 2 |
2 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/lux/meta/poly.lux b/stdlib/source/lux/meta/poly.lux index 04ac1fd82..c374e585c 100644 --- a/stdlib/source/lux/meta/poly.lux +++ b/stdlib/source/lux/meta/poly.lux @@ -128,15 +128,15 @@ [void "Void" #;Void] [unit "Unit" #;Unit] - [bool "Bool" (#;Host "#Bool" #;Nil)] - [nat "Nat" (#;Host "#Nat" #;Nil)] - [int "Int" (#;Host "#Int" #;Nil)] - [deg "Deg" (#;Host "#Deg" #;Nil)] - [frac "Frac" (#;Host "#Frac" #;Nil)] - [text "Text" (#;Host "#Text" #;Nil)] + [bool "Bool" (#;Primitive "#Bool" #;Nil)] + [nat "Nat" (#;Primitive "#Nat" #;Nil)] + [int "Int" (#;Primitive "#Int" #;Nil)] + [deg "Deg" (#;Primitive "#Deg" #;Nil)] + [frac "Frac" (#;Primitive "#Frac" #;Nil)] + [text "Text" (#;Primitive "#Text" #;Nil)] ) -(def: #export primitive +(def: #export basic (Poly Type) (do p;Monad<Parser> [headT any] @@ -399,9 +399,9 @@ (def: #export (to-ast env type) (-> Env Type Code) (case type - (#;Host name params) - (` (#;Host (~ (code;text name)) - (list (~@ (list/map (to-ast env) params))))) + (#;Primitive name params) + (` (#;Primitive (~ (code;text name)) + (list (~@ (list/map (to-ast env) params))))) (^template [<tag>] <tag> diff --git a/stdlib/source/lux/meta/poly/eq.lux b/stdlib/source/lux/meta/poly/eq.lux index c2ecd5988..38386a6c8 100644 --- a/stdlib/source/lux/meta/poly/eq.lux +++ b/stdlib/source/lux/meta/poly/eq.lux @@ -38,7 +38,7 @@ (function [type] (` (eq;Eq (~ (poly;to-ast *env* type))))))]] ($_ p;either - ## Primitive types + ## Basic types (~~ (do-template [<matcher> <eq>] [(do @ [_ <matcher>] |