Matthew Lutze

Can we move `isSubType` to a neutral location, like in `Type.scala`? I'd like to use it for improving error messages.

> When I change the default case to `case (t1, t2) => t1 == t2` the result type of the arrow is inferred to be a subtype (i.e. it returns...

> @mlutze I removed the base type comparison in `isStarSubtype` in the default case. Do you reckon this version i safe? I.e. are these expressions alright (lines 986-1004 in Type.scala)?...

I guess we cannot actually get the path from datalog? But it would still be nice to have a shortest path function, and maybe some heuristic searches as well (A*,...

Not sure. I haven't been able to reproduce it with anything simple.

Confirming that this is still an issue today.

I think it would not be too difficult: - Add to Parser - Add declarations to Namer, with `KindSym` and `SetMemberSym` or some such - Resolve kinds and these types...

> Would we need some form of kind polymorphism for the connectives? Ah right. We already do that to some extent with the Bool/Set magic, so I think we could...

Here's what it looks like if I disable the optimizer: ``` def testPar13(_unit%174874: Unit, ): Bool & Pure = let a%174875: Unit -> Bool = Closure(testPar13%175158, []); let b%174883: Unit...

What is this?