~jonsterling

Cambridge

http://www.jonmsterling.com/

I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge in the Department of Computer Science and Technology.

Trackers

~jonsterling/forester

Last active 9 days ago

#119 \% should be handled by text extraction 9 days ago

release-5.0 added by ~jonsterling on ~jonsterling/forester

#119 \% should be handled by text extraction 9 days ago

bug added by ~jonsterling on ~jonsterling/forester

#119 \% should be handled by text extraction 9 days ago

Ticket created by ~jonsterling on ~jonsterling/forester

Trebor notices that when you use \% in a link, it results in an error. I think the problem is that we need to convert this to a string when trying to read text from a stream of nodes.

#118 Usage of Oo.id (object end) introduces nondeterminism, breaking tests. 12 days ago

Comment by ~jonsterling on ~jonsterling/forester

sounds good!

#118 Usage of Oo.id (object end) introduces nondeterminism, breaking tests. 15 days ago

Comment by ~jonsterling on ~jonsterling/forester

RESOLVED CLOSED REPORTED

#118 Usage of Oo.id (object end) introduces nondeterminism, breaking tests. 15 days ago

Comment by ~jonsterling on ~jonsterling/forester

Agreed! This is a stupid hack and I am in favour of any reasonable replacement.

REPORTED RESOLVED CLOSED

#117 Should opening a non-existent path be an error? 2 months ago

Comment by ~jonsterling on ~jonsterling/forester

~kentookura I think that could be OK. I don't feel too strongly about it.

#117 Should opening a non-existent path be an error? 2 months ago

Comment by ~jonsterling on ~jonsterling/forester

Is "existence" of a namespace a well-defined notion in Yuujinchou's model? I had thought that namespaces are never 'allocated' but just refer to some path prefix. I guess, more to my point, what would be the expected behaviour of:

\namespace\foo{
  % export nothing in here
}

\open\foo

#116 Improving diagnostic quality 2 months ago

on ~jonsterling/forester

~jonsterling What does "Asset located at `%s' does not have a content address" mean?

#115 Lexer mishandles newlines? 2 months ago

Comment by ~jonsterling on ~jonsterling/forester

~kentookura: But have you at least figured out why the lexer is detecting a newline in files that in fact have no newlines?