Skip to content
GitLab
Explore
Sign in
Register
Shayne Fletcher
Glasgow Haskell Compiler
Repository
ghc
compiler
deSugar
DsBinds.lhs
Find file
Blame
History
Permalink
Get rid of EvCoercible
· 808ded9c
Joachim Breitner
authored
Nov 27, 2013
and use EvCoercion to describe the evidence for Coercible instances.
808ded9c