Search
3:57:29
beach
It is even possible to factor out the code that splits up a type into what TYPEQ can handle and the rest.
3:57:40
beach
That way, the same code can be used in DECLARE and THE.
3:58:26
beach
This code would be entirely implementation specific, thereby avoiding yet another customization mechanism in Cleavir.
4:00:19
Bike
implementation specific but based on knowing what typeq can handle?
4:00:44
beach
Something like that. Let me think a bit more.
4:01:27
beach
Maybe Cleavir could provide some default that is coupled with what the type inferencer can handle.
4:14:21
Bike
i already have a couple functions like compile-or-typeq, compile-and-typeq, etc. hir level but no big
4:16:09
Bike
well, those particular ones have to recurse
11:29:22
beach
You keep very strange hours these days.
11:29:39
beach
ACTION is only here temporarily, because he has lunch guests to entertain.