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> 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 MHonArc.