diff options
Diffstat (limited to 'stdlib/source/parser/lux/meta/type.lux')
| -rw-r--r-- | stdlib/source/parser/lux/meta/type.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/parser/lux/meta/type.lux b/stdlib/source/parser/lux/meta/type.lux index 2b03a75e1..6f31848ae 100644 --- a/stdlib/source/parser/lux/meta/type.lux +++ b/stdlib/source/parser/lux/meta/type.lux @@ -314,7 +314,7 @@ (do [! //.monad] [headT any] (case (/.anonymous headT) - (pattern {.#Apply (|recursion_dummy|) {.#UnivQ _ headT'}}) + {.#Apply (|recursion_dummy|) {.#UnivQ _ headT'}} (do ! [[recT _ output] (|> poly (with_extension (|recursion_dummy|)) @@ -331,7 +331,7 @@ [env ..env headT any] (case (/.anonymous headT) - (^.multi (pattern {.#Apply (|recursion_dummy|) {.#Parameter funcT_idx}}) + (^.multi {.#Apply (|recursion_dummy|) {.#Parameter funcT_idx}} (n.= 0 (..argument env funcT_idx)) [(dictionary.value 0 env) {.#Some [self_type self_call]}]) (in self_call) |