andrew blinn

why is the undefined let operator error a dynamic error instead of a static error?

@cyrus I've brought this up to date with dev. As we talked about, I have some misgivings about merging this in, due to (a) likely minor but complex-to-reason-about performance hit,...

@cyrus- There is already infrastructure around this, though it is only exposed on-hover: It doesn't work for the case you show though, the type just shows as provenance: Internal. Not...

Reminder from today's meeting: 1. Prohibit arbitrarily nested annotations 2. New error status on any annotation who pattern contains (recursively) another annotation

@pigumar1 the fact that term_ranges is being used here is a bit of a hack, pending david's new syntax system. It may be that's it's unnecessary after this change; basically...

@pigumar1 I meant that the `id == Info.id_of(info)` check should be done within the fold inside the implementation of Statics.Map.error_ids, so that we're not unnecessarily iterating over the entire info_map...

ah... consistency normalizes ordering, but i guess post-elaboration we dont do consistency any more. (i continue to feel anonymous sums are more trouble than theyre worth)

Reminder for myself that I have notes in mine and matt's slack message history regarding this. There are some non-trivial design considerations to address in fixing this properly

@Negabinary re: this: talked about this with cyrus a bit. some of me questionable design decisions notwithstanding we can patch this ftm with a custom mode logic for Fix that...

@7h3kk1d I've been sourcing all icons from https://thenounproject.com/, for which I've long had a subscription. Gives an attribution-free license. If you find something reasonable there I can send you the...