Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
GHC
Types
Literal.hs
Find file
Blame
History
Permalink
Add quot folding rule (#22152)
· 4dd02122
Sylvain Henry
authored
Jan 27, 2023
and
Marge Bot
committed
Apr 13, 2023
(x / l1) / l2 l1 and l2 /= 0 l1*l2 doesn't overflow ==> x / (l1 * l2)
4dd02122