diff options
author | Eduardo Julian | 2018-07-04 21:34:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-04 21:34:07 -0400 |
commit | 4bc58162f3d381abf33c936eafc976a2f422258c (patch) | |
tree | f975876db8c07f2c2dc788a7d0ee02c891f1c167 /stdlib/source/lux/lang/type/check.lux | |
parent | 7585d987ad3898859ce817ad9857dccb6e788c6b (diff) |
- Re-named Bound to Paremeter.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/lang/type/check.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/lang/type/check.lux b/stdlib/source/lux/lang/type/check.lux index 2e255d47c..482ea66bf 100644 --- a/stdlib/source/lux/lang/type/check.lux +++ b/stdlib/source/lux/lang/type/check.lux @@ -651,7 +651,7 @@ [paramsT+' (monad.map @ clean paramsT+)] (wrap (#.Primitive name paramsT+'))) - (^or (#.Bound _) (#.Ex _) (#.Named _)) + (^or (#.Parameter _) (#.Ex _) (#.Named _)) (:: Monad<Check> wrap inputT) (^template [<tag>] |