Open jmgimeno opened 2 years ago
Well spotted - it's weird this even compiled!
Fixed in 019e70b, whose output you can see here: https://nrinaudo.github.io/dsl-tagless/#569
(Note that there are a few other differences in the slides, and that some of them are cosmetic and not at all finished, don't be shocked if you see a few bad color choices)
def BOOL[F[_]](value: Boolean)(using bs: BoolSym[F[_]]) = ...
should be
def BOOL[F[_]](value: Boolean)(using bs: BoolSym[F]) = ...
It's on https://nrinaudo.github.io/dsl-tagless/#568