undefined | Better HN

0 pointsnhaehnle11y ago0 comments

It should still be possible to simplify eval' by merging the two GValue cases, right?

0 comments

2 comments · 2 top-level

tel11y ago

As long as you're okay with your DSL subsiding all OCaml types you can do

    GLift : a -> a expr'

I don't think you can do that since the wrapped values have different types.

j / k navigate · click thread line to collapse