Mitchell Dalvi Rosen

@ChrisPenner in this example ``` data my.cool.Tree a = Node | Branch (Tree a) (Tree a) ``` `Tree` would resolve to `my.cool.Tree` if `Tree` is a unique suffix among all...

> This is the part that keeps confusing me, you say that my.cool.Tree from the file would shadow the version from the codebase, but then say "suffixes of file names...

It means the same thing as "supersede" from your question. A suffix (non-exact match) that could refer to something in the file or the namespace will not resolve to the...

@aryairani I'm not sure any existing test covers this change well. A few broke incidentally because they were using suffixes that are now considered ambiguous. The pretty-printer didn't match this...

Yeah, we used to accept code that didn't explicitly ignore a return value. In such ABTs, we'd generate a variable like `User "_"-30174` which presumably started out life as `User...

Ah ha, I've peeked at the implementation of the lexer. It seems we treat _any number of (matching) asterisks_ as bold, underscores as italic, and tildes as strikethrough. Examples: ```...

The pretty-printer should also probably prefer the single-character `*bold*`, `_italic_`, `~strikethrough~`. It currently renders as `**bold**` which implies single asterisks are reserved for something else.

I think this is more of a feature request than a bug 😛

What's the difference between a reference to `todo` and a call to `todo`?

> Probably saturated vs unsaturated Hmm, but what about e.g. `List.map todo [1,2,3]`?