James Cheney

That makes sense. What is the definition of `warning_type`, and what other capabilities might we want longer-term? For example I could imagine something very fine-grained, where each warning has a...

Was this closed by #859? If not can someone add a description of what remains to be done?

At today's meeting we agreed @slindley would add a checklist for remaining requirements for completion of this issue for 0.9.2.

This is milestoned 0.9.2, which we hoped to get released around now. Is it likely to be resolved in the next week or so, or should we postpone it? (0.9.2...

Hmm. Something very strange is happening. I think the fact that it's a list type is irrelevant, the same thing happens with Church numerals: ``` typename Nat = forall t....

I think the second problem, with linear types being guessed incorrectly, is because in general Links guesses a linear function type if it can, and doesn't revisit this choice later...

I've edited the wiki page, is that better? We should add this to the main documentation somewhere anyway so I'm inclined to keep this open as a reminder. Is #933...

I would leave it for now (or replace the assert failure with a more explicit "length not supported in shredded queries" error) since aggregations such as `length` were not considered...

Interestingly (at least to me) courtesy of @vcgalpin, some uses of length within nested queries *do* work: ``` var db = database "links"; var numbers = table "numbers" with (number:...

I was thinking (re: #156 ) that it would be handy to set up a simple script for regression testing of relatively simple web things, along the following lines: -...