Dave Clarke

I expect that `(something, somethingElse)` should *not* be well-formed unless it is `linear`.

Arrrghhhhh. I have this problem, but with triples.

Your proposal says that you will replace all occurrences of `encore_alloc` by this pool allocation, but this assumes that you _statically_ know when the future becomes garbage. In 90% of...

One could argue that it should be fixed at the Encore level and not relegated to the C compiler.

Revisit after exceptions go mainline.

@EliasC The situation you refer to involves multiple different statements, as opposed to a single expression. Checking of bottomness doesn't span different statements. Of the top of my head, I'm...

@EliasC Sounds complicated to check and awfully specific. Would `[Nothing]` be allowed? Or is the assignment of a bottom-typed value disallowed?

> Now, it complains that liftvL: > > "ParT.enc" (line 68, column 19) > Type 'borrowed linear a' does not match expected type 'linear a' It seems to me that...

Fix on the way.

In a preliminary version of the module implementation, modules were implemented using full names/paths based on some directory given by -I (or a standard location). The path to the .enc...