21:21:34Bikebeach: cleavir loses information about when block/tagbody dynamic extents are exited. i think we could add an invalidate-catch instruction of some sort, and then have ast-to-hir maintain a stack of contexts so that we can generate the appropriate invalidations whenever we exit a block, without too much trouble
21:21:45Bikecleavir loses information -> AST-to-HIR loses information, really
7:50:57no-defun-allowedbeach (IRC): regarding the storage model for CLOSOS, what if you have more hard drive space than your processor allows for?
7:51:08no-defun-allowedi can imagine datacenters could store more than 64tb per machine
7:51:37beachWhy would the processor have any opinions about the size of a disk?
7:52:21no-defun-allowedwell my interpretation was that hard drives would effectively operate in the memory space of the processor, as if it was RAM for the most part
7:52:47scymtymbeach: fiddlerwoaroof brought up the following in #sbcl: http://plaster.tymoon.eu/view/987#987 the methods defined in lines 18 and 19 are in the same group, agree in specializers but disagree in qualifiers. we couldn't decide whether this is allowed or not. do you have an opinion?
7:53:29beachno-defun-allowed: I can't have more disk space as part of the main memory than what the processor can address.