Re: [isabelle] quotient_type command fails
Not exactly. FORTRAN did not — perhaps still does not — regard spaces as significant. Thus it is that
DO 30 I = 1. 100
does not start a loop but instead assigns DO30I the value 1.1.
On 1 Jul 2014, at 20:57, Makarius <makarius at sketis.net> wrote:
>> Isabelle dates from an era when no names contained white space, so it wasn’t even thought about.
> I am myself too young for that, but my Compiler Construction professor used to tell us that really old versions of FORTRAN allowed white space in identifiers, which was before there was a clear concept of a "token" in programming languages. It was one of his "never do this at home" examples -- he had other ones drawn from Knuth's TeX language.
This archive was generated by a fusion of
Pipermail (Mailman edition) and