]> Git — Sourcephile - haskell/symantic-base.git/commit
iface: fix `data_` constraints to handle contravariant `sem`
authorJulien Moutinho <julm@sourcephile.fr>
Mon, 26 Jun 2023 00:16:07 +0000 (02:16 +0200)
committerJulien Moutinho <julm@sourcephile.fr>
Mon, 26 Jun 2023 00:16:07 +0000 (02:16 +0200)
commitf3d9661a5c475e4db977a3487c803fa7511abb99
treea49e7682b2df4d4aaed93990cb80664959cb2677
parent622b7f75c6b539e06457b691949fd4f30d254f91
iface: fix `data_` constraints to handle contravariant `sem`
src/Symantic/Semantics/ToFer.hs
src/Symantic/Syntaxes/Classes.hs