-
Andrei Paskevich authored
Now, any reference to an external variable in an effect is stored in a fake variant. This is better than to create a fake exceptional postcondition, because then Mlw_typing can reject useless xposts.
42886abb
Now, any reference to an external variable in an effect is stored in a fake variant. This is better than to create a fake exceptional postcondition, because then Mlw_typing can reject useless xposts.