diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux index c66a7b13f..0d01a4936 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux @@ -110,7 +110,7 @@ (exception: .public invalid_scope_alteration) (def: .public (with_local [name type] action) - (All [a] (-> [Text Type] (Operation a) (Operation a))) + (All (_ a) (-> [Text Type] (Operation a) (Operation a))) (function (_ [bundle state]) (case (value@ #.scopes state) (#.Item head tail) @@ -159,7 +159,7 @@ #.captured init_captured}) (def: .public (with_scope name action) - (All [a] (-> Text (Operation a) (Operation a))) + (All (_ a) (-> Text (Operation a) (Operation a))) (function (_ [bundle state]) (let [parent_name (case (value@ #.scopes state) #.End |