Matthew Lutze

Results 310 comments of Matthew Lutze

feat: introduce bag-of-constraints solver

> Adding some source comments for some of my comments might be useful. I do not know what this means.

feat: introduce bag-of-constraints solver

> @mlutze There are no conflicts. Does this mean I can merge this or do you want to experiment? Let's at least wait for one tick on the arewefast graph...

feat: introduce bag-of-constraints solver

> Will this PR not use `SetUnification.unifyAll`? or is that later? Later. This one only deals with one constraint at a time anyway.

Clean up old imports in standard library

@JonathanStarup claims Adaptor

Clean up old imports in standard library

> @mlutze Why did we omit static imports-- they should also be rewritten :) updated

Clean up old imports in standard library

I'll do Object and Time/*

Clean up old imports in standard library

I claim `Test.Exp.I*`

Clean up old imports in standard library

I claim `*String*`

Clean up old imports in standard library

I claim `*Handler*`

Clean up old imports in standard library

> I'll take everything alphabetically after and including `main/test/flix/Test.Exp.Jvm.NewObject.flix` NB: I'm doing all the ones with "Handler" in the name