Skip to content

Commit

Permalink
Add pointer to discussion of problems with numeric literals
Browse files Browse the repository at this point in the history
  • Loading branch information
facundominguez committed Jan 29, 2024
1 parent b94070a commit 23019b6
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions liquidhaskell-boot/ghc-api-tests/GhcApiTests.hs
Original file line number Diff line number Diff line change
Expand Up @@ -135,6 +135,8 @@ testCaseDesugaring = do
"Unexpected desugaring:" : map showPprQualified coreProgram

-- | Tests that numeric literal expressions desugar as Liquid Haskell expects.
--
-- https://github.com/ucsd-progsys/liquidhaskell/issues/2237
testNumLitDesugaring :: IO ()
testNumLitDesugaring = do
let inputSource = unlines
Expand Down

0 comments on commit 23019b6

Please sign in to comment.