Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Blame Permalink
Forked from Iris / Iris
Source project has a limited visibility.
  • Jacques-Henri Jourdan's avatar
    09663be3
    Make iFrame able to accumulate assertions in an evar. · 09663be3
    Jacques-Henri Jourdan authored 
    This requires changing the Hint Mode of the [Frame] type class because it should not fail if its parameter is an evar, but instantiate it instead. In order to prevent all the other instances of [Frame] to intantiate this evar themselves, we create a new type class [KnwonFrame], which corresponds to the old behavior.
    09663be3
    History
    Make iFrame able to accumulate assertions in an evar.
    Jacques-Henri Jourdan authored 
    This requires changing the Hint Mode of the [Frame] type class because it should not fail if its parameter is an evar, but instantiate it instead. In order to prevent all the other instances of [Frame] to intantiate this evar themselves, we create a new type class [KnwonFrame], which corresponds to the old behavior.