{"shas":[["2f510f8febc6099f7f7436a9c8f5017cb61dd1d0","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Updated the way external blocks are imported to use importExternal","DavePearce"],["8e9aeceb14b9e87fcd1a239e3e282fdbf7132440","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Type constraints from method/function parameters are now being inlined.  Appears to work, but needs more testing.  Return types yet to be inlined.","DavePearce"],["720a10cb4580dcec0a1c76e47f929754ddc90724","ca52830902e3c33feb21efcaaa89ea8c0a9c1b3b@ecs.vuw.ac.nz","Added support for expanding return type constraints into post-conditions.  Doesn't look like it's working very well though!  Also, post-conditions still don't support shadows ...","DavePearce"]],"ref":"refs/heads/devel","size":3,"head":"720a10cb4580dcec0a1c76e47f929754ddc90724","push_id":39467441}