On Wed, May 3, 2017 at 6:17 PM, Max Goldstein <[email protected]> wrote:
> Building on Charles, how would this handle recursive union types? This can be handled as a convention at compiler level. A new restricted type variable could be created, let's call it "enumerable" and only non-recursive, non-function types be "enumerable". If an non-enumerable type is used, the compiler throws an error the same way it throws an error if a non-comparable type is used as a Dict key. -- There is NO FATE, we are the creators. blog: http://damoc.ro/ -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
