Metatyre tentative. #13

Open
wants to merge 1 commit into
from

Conversation

1 participant
@Drup
Owner

Drup commented Dec 7, 2016

Got stuck because of the limitation with macros/side effects

This was quite annoying to write, especially due to all the annoyances around the module system and declarations.

cc @OlivierNicole

@Drup

This comment has been minimized.

Show comment
Hide comment
@Drup

Drup Dec 7, 2016

Owner

Another pain point is that it seems pretty much impossible to write tyre in a way that will be usable on phase 0 and on phase 1. I need a different datatypes and to lift most of the modules to phase 1 explicitly.

Owner

Drup commented Dec 7, 2016

Another pain point is that it seems pretty much impossible to write tyre in a way that will be usable on phase 0 and on phase 1. I need a different datatypes and to lift most of the modules to phase 1 explicitly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment