Jakob Schneider comments

Results 250 comments of


                                            Jakob Schneider

test: add tests for associated type multiple `Eff`s and types

Okay so now it says that it is an irreducible associated type. Is it because of the recurrence of `Vector` when defining the instance for `Vector`? Not sure if this...

test: add tests for associated type multiple `Eff`s and types

Ah I was on latest release rather than `master` :/

test: add tests for associated type multiple `Eff`s and types

> @jaschdoc Is this blocked or OK? No I don't believe so. Just haven't finished writing everything. I think I was reconsidering the design.

test: add tests for associated type multiple `Eff`s and types

Error ```scala trait Transformable[a] { pub type E: Eff pub type B: Type pub def transform(x: a): Transformable.B[a] \ Transformable.E[a] } pub def transformAndCheckEq[b](eq: Transformable.B[a], x: a): Bool \ Transformable.E[a]...

test: add tests for associated type multiple `Eff`s and types

Error ```scala trait Composable[a] { pub type E: Eff pub type B: Type -> Type pub type C: Eff -> Type -> Type pub def compose(f: a -> Unit \...

test: add tests for associated type multiple `Eff`s and types

I don't know how urgent it is for Matt, but this is just lots of tests for associated types and effects that he asked me to add an some point....

refactor: use `phase` in `phaseNew`

This is also just removes code duplication :)

refactor: use `phase` in `phaseNew`

Better name for `phase2`? :)

refactor: use `phase` in `phaseNew`

> Remind me again, what is the benefit to having two phase functions? 1. We drop errors that do not exist for phases that cannot fail (like `Reader` and `Desugar`)....

refactor: use `phase` in `phaseNew`

We decided on returning the root every time