diff options
Diffstat (limited to 'stdlib/source/library/lux/type/check.lux')
| -rw-r--r-- | stdlib/source/library/lux/type/check.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux index dcdf4ba58..0b47df0ab 100644 --- a/stdlib/source/library/lux/type/check.lux +++ b/stdlib/source/library/lux/type/check.lux @@ -372,7 +372,7 @@ (do {! ..monad} [ring (..ring id) _ (..assertion "" (n.> 1 (set.size ring))) - _ (monad.map ! (update type) (set.to_list ring))] + _ (monad.map ! (update type) (set.list ring))] then) (do ..monad [?bound (read id)] @@ -444,14 +444,14 @@ [_ (link_3 interpose to idE)] (in interpose))) targetE - (set.to_list ringA))] + (set.list ringA))] (in assumptions)))) (^template [<pattern> <id> <type>] [<pattern> (do ! [ring (..ring <id>) - _ (monad.map ! (update <type>) (set.to_list ring))] + _ (monad.map ! (update <type>) (set.list ring))] (in assumptions))]) ([[(#.Var _) _] idE atype] [[_ (#.Var _)] idA etype]) |