Message2061

Author rpgoldman
Recipients malte, rpgoldman, ukuter
Date 2012-02-16.17:06:16
Content
Ah.  Got through that, and there's the same bug in an effects expression with a 
UNIVERSALLY quantified EFFECT that has an EITHER type.

Again, can be rewritten into a conjunction of simply-typed quantified effects.
History
Date User Action Args
2012-02-16 17:06:16rpgoldmansetmessageid: <1329408376.35.0.70538461645.issue323@gmail.com>
2012-02-16 17:06:16rpgoldmansetrecipients: + rpgoldman, malte, ukuter
2012-02-16 17:06:16rpgoldmanlinkissue323 messages
2012-02-16 17:06:16rpgoldmancreate