3 ms·
> Checker.HS uses {-# LANGUAGE LambdaCase #-} Allowing people to write \case SomePattern -> ... | OtherPattern -> ... instead of \x -> case x of Som
by dllthomas 5y ago
> Checker.HS uses {-# LANGUAGE LambdaCase #-}
Allowing people to write
\case SomePattern -> ... | OtherPattern -> ...
instead of
\x -> case x of SomePattern -> ... | OtherPattern -> ...
is not a meaningful change in complexity.