nightly-2021-01-16

Changes since nightly-2021-01-15:

Full commit log

• 58d51bc feat: add FieldInfo
• 0672247 chore: make comments VS Code friendly
• 03eee6f chore: update stage0
• d7c201a chore: minor hover code cleanup
• 46e9d25 fix: resolving French-quoted field names
• af04c66 chore: comment style in Init.String.Basic
• f3ab908 fix: substring APIs
• fa7e679 feat: hover: use syntax highlighting
• 310a2ab feat: minimal hovers MVP
• a711ccc chore: tail-recursive JSON printing
• cba3d69 feat: enable info trees in server
• 5a46f43 fix: elab cancellation on server exit
• 223a5d5 fix: bug at isDefEqOffset
• ae60360 feat: add resolveName' which produces Syntax with position information for each field
• d7fe05b chore: script to copy .produced.out ~> .expected.out
• b2b78eb test: use printMessageEndPos for leantests
• 021a823 feat: add option printMessageEndPos
• d5ddcac chore: update stage0
• d1ff099 fix: copy position for identifiers in quotations, not just for atoms
• 4f6bb1f feat: add Float.ofInt
• dc77c45 fix: mvar check trace message
• 720f06d fix: interpreted bracketedBinder.quot