Stream: t-compiler/wg-rls-2.0

Topic: PR #2311


Edwin Cheng (Nov 22 2019 at 01:45, on Zulip):

I am starting to debug #2311, which I finally know the root causes of it :

Edwin Cheng (Nov 22 2019 at 01:45, on Zulip):

@Jeremy Kolb

matklad (Nov 22 2019 at 07:45, on Zulip):

@Edwin Cheng long term, I believe we should add IDs to all tokens, and not only identifiers.

Edwin Cheng (Nov 22 2019 at 07:52, on Zulip):

How about delimiter ?

matklad (Nov 22 2019 at 07:59, on Zulip):

Delims also should have IDs of some form, but, as they are guaranteed to be paired, the encoding would be somewhat awkward

matklad (Nov 22 2019 at 08:00, on Zulip):

I think we should assign a single ID to both delims, and store the whole range in the TokenMap

Last update: Dec 12 2019 at 00:50UTC