chore: fix comment on BETA regression test

Signed-off-by: Ben Price <ben@hackworthltd.com>
hackworthltd · Jul 11, 2023 · 31b6931 · 31b6931
1 parent 50c45a4
commit 31b6931
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/primer/test/Tests/EvalFull.hs b/primer/test/Tests/EvalFull.hs
@@ -571,7 +571,7 @@ unit_type_preservation_BETA_regression :: Assertion
 unit_type_preservation_BETA_regression =
   let (((exprA, expectedAs), (exprB, expectedBs)), maxID) = create $ do
         -- The 'A' sequence previously captured in the type "S" above
-        -- Λb x. (Λa λc (_ : a) : ∀b.(Nat -> b)) @(b -> Bool) x
+        -- Λb x. (Λa λc (_ : a) : ∀b.(Nat -> b)) @(b Bool) x
         eA <-
           lAM "b" $
             lam "x" $