Skip to content
Snippets Groups Projects
Commit bb97b95f authored by Andrei Borzenkov's avatar Andrei Borzenkov
Browse files

Fix typo

parent 42891dd2
No related branches found
No related tags found
No related merge requests found
Pipeline #81141 failed
...@@ -1475,7 +1475,7 @@ when we have multiple patterns in a function LHS ...@@ -1475,7 +1475,7 @@ when we have multiple patterns in a function LHS
f'' (Proxy @k) (Proxy @(a :: k)) = ... f'' (Proxy @k) (Proxy @(a :: k)) = ...
g'' (Proxy @(a :: k)) (Proxy @k) = ... g'' (Proxy @(a :: k)) (Proxy @k) = ...
And if we tried to provide order sensitivity at this level, then we'd still be left And if we tried to avoid order sensitivity at this level, then we'd still be left
with lambdas: with lambdas:
f''' (Proxy @k) = \(Proxy @(a :: k)) -> ... f''' (Proxy @k) = \(Proxy @(a :: k)) -> ...
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment