Changes between Initial Version and Version 2 of Ticket #259


Ignore:
Timestamp:
Nov 19, 2008, 9:58:17 PM (15 years ago)
Author:
Graham Dutton
Comment:

Actually appears to be an out-by-one error: can recreate on any thy file by trimming all trailing whitespace.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #259

    • Property Owner changed from David Aspinall to Graham Dutton
    • Property Status changed from new to assigned

  • Ticket #259 – Description

    initial v2  
    1 Parsing {{{TestLcl.thy}}} in test repository fails at the final lines.  PG parses the final two lines:
     1Parsing a file with no trailing whitespace fails.
     2
     3For example: {{{TestLcl.thy}}} in test repository fails at the final lines.  PG parses the final two lines:
    24
    35{{{
    … …  
    1416(where [newline] is an actual newline), discarding the final character.
    1517
    16 Note that functionally identical file {{{TestLocale.thy}}} does not exhibit this behaviour.
     18A functionally identical file {{{TestLocale.thy}}} with trailing whitespace will not exhibit this behaviour.