freenode/#clasp - IRC Chatlog
Search
20:11:34
karlosz
i can imagine a verifier for closure conversion that tests whether any location is used by a function that doesnt own it, for example
20:18:17
karlosz
yeah, it probably makes sense to program different consistency checks individually. usually they can be associated with some pass, like checking successors and predecessors agree like for cleavir-ir:set-predecessors
20:18:40
karlosz
could also be used to empirically determine whether we need things like reinitialize-data and set-predecessors after certain passes
20:52:48
drmeister
karlosz: I'll be able to give you more of a hand there once I get done what I'm working on now.
4:53:26
scymtym
beach: i'm considering adding a required CLIENT parameter to ECLECTOR.PARSE-RESULT:READ instead of requiring clients to bind ECLECTOR.READER:*CLIENT*. that way, the protocol is harder to use incorrectly and incorrect uses are spotted at compile- rather than runtime. does that make sense?