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.
  • Robbert Krebbers's avatar
    26d86662
    Hack to avoid getting String.length instead of List.length. · 26d86662
    Robbert Krebbers authored 
    In noticed in Amin's development that importing the proof mode often
turns length into String.length. The weird thing is that before importing
the proof mode, it refers to List.length, and when importing just the
proof mode, it refers to List.length too. However, in some combinations of
imports, it seems to result in it refering to String.length...
    26d86662
    History
    Hack to avoid getting String.length instead of List.length.
    Robbert Krebbers authored 
    In noticed in Amin's development that importing the proof mode often
turns length into String.length. The weird thing is that before importing
the proof mode, it refers to List.length, and when importing just the
proof mode, it refers to List.length too. However, in some combinations of
imports, it seems to result in it refering to String.length...