Search
13:56:24
stassats
more type system bugs, and i'm no closer to understanding it
13:56:42
stassats
something is wrong about the (cons :simple-union2) method
15:18:55
pkhuong
let's see if I can convert the CL type system to SMT clauses
16:05:35
pfdietz
Random tester bug reported (stack analyze)
16:06:23
pfdietz
This appears to be occurring with fairly high frequency; got a dozen or more hits since last night.
16:09:17
stassats
yes, it's from yesterday
16:09:50
stassats
and right at the place i wasn't entirely sure about
16:10:23
pfdietz
I can put together more examples if that would be useful.