Skip to content

Commit

Permalink
Restyled by fourmolu (#2183)
Browse files Browse the repository at this point in the history
Co-authored-by: Restyled.io <[email protected]>
  • Loading branch information
github-actions[bot] and restyled-commits authored Oct 17, 2024
1 parent 6ac407d commit 54dcf95
Showing 1 changed file with 13 additions and 13 deletions.
26 changes: 13 additions & 13 deletions test/unit/TestLanguagePipeline.hs
Original file line number Diff line number Diff line change
Expand Up @@ -36,23 +36,23 @@ testLanguagePipeline =
, testGroup
"quantification + scope"
[ testCase
"quantification #148 - implicit"
(valid "def id : a -> a = \\x. x end; id move")
"quantification #148 - implicit"
(valid "def id : a -> a = \\x. x end; id move")
, testCase
"quantification #148 - explicit"
(valid "def id : forall a. a -> a = \\x. x end; id move")
"quantification #148 - explicit"
(valid "def id : forall a. a -> a = \\x. x end; id move")
, testCase
"quantification #148 - explicit with free tyvars"
(valid "def id : forall a. b -> b = \\x. x end; id move")
"quantification #148 - explicit with free tyvars"
(valid "def id : forall a. b -> b = \\x. x end; id move")
, testCase
"type variable scope #2178"
(valid "def f : a -> (a * Int) = \\x. let g : a * Int = (x, 3) in g end")
"type variable scope #2178"
(valid "def f : a -> (a * Int) = \\x. let g : a * Int = (x, 3) in g end")
, testCase
"type variable scope #2178 - shadowing"
( process
"def f : a -> (a * Int) = \\x. let g : forall a. a * Int = (x, 3) in g end"
"1:59: Type mismatch:\n From context, expected `x` to have type `s2`,\n but it actually has type `s1`"
)
"type variable scope #2178 - shadowing"
( process
"def f : a -> (a * Int) = \\x. let g : forall a. a * Int = (x, 3) in g end"
"1:59: Type mismatch:\n From context, expected `x` to have type `s2`,\n but it actually has type `s1`"
)
]
, testCase
"parsing operators #188 - parse valid operator (!=)"
Expand Down

0 comments on commit 54dcf95

Please sign in to comment.