Code

Multi-line comments should be#664

Code

Merged

mjp41 merged 12 commits intomicrosoft:mastermicrosoft/verona:masterfrom mjp41:spec_syntaxmjp41/verona:spec_syntaxCopy head branch name to clipboardApr 11, 2024

+107-9

Commits

Commits on Apr 8, 2024

• Make warning more helpful.

  mjp41

  committed
  4f63268

• Add a broken nesting example

  mjp41

  committed
  ac890f2

• Add some comment examples

  mjp41

  committed
  eb7d482

• Multi-line comments should be

  Show description for 207756d
  mjp41

  committed
  207756d

• Update test

  mjp41

  committed
  5476bea

• Try to fix FetchContent.

  mjp41

  committed
  9ddd28e

• Make error message handle unterminated strings.

  mjp41

  committed
  63990b2

Commits on Apr 11, 2024

• Pulled in latest Trieste

  Show description for 5e5a1b0
  mjp41

  committed
  5e5a1b0

• Small fixes.

  mjp41

  committed
  8a5fdcf

• Clangformat

  mjp41

  committed
  2ff79bd

• Improve comment parsing

  mjp41

  committed
  d526a24

• Made comment more informative

  mjp41

  committed
  13db4de