Skip to content

Commit

Permalink
Restyled by hlint
Browse files Browse the repository at this point in the history
  • Loading branch information
restyled-commits committed Sep 1, 2024
1 parent cc2c94a commit cdfde8a
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions explore/lower-your-guards/src/MatchTree.hs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{-# LANGUAGE EmptyCase #-}

{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}

{-# HLINT ignore "Eta reduce" #-}
Expand Down Expand Up @@ -39,9 +39,9 @@ final2 = ([full] \\\ c2) \\\ c1

-- true = Status $ Is $ Just $ head $ Ty.dataCons Ty.bool

e1 = Pair (Either [(isInt 10)] []) (isInt 2)
e1 = Pair (Either [isInt 10] []) (isInt 2)

e2 = Pair (Either [(isInt 4)] []) (isInt 5)
e2 = Pair (Either [isInt 4] []) (isInt 5)

-- e3 = Pair (Either [] [true]) (isInt 5)

Expand Down

0 comments on commit cdfde8a

Please sign in to comment.