Code

Source locations#981

Code

Closed

jonludlam wants to merge 12 commits intoocaml:masterocaml/odoc:masterfrom jonludlam:source-locationsjonludlam/odoc:source-locationsCopy head branch name to clipboard

+329-229

Commits

Commits on Jul 7, 2023

• Add `SourceLocationInt for an internal source location

  Show description for c1b83f8
  jonludlam

  committed
  c1b83f8

• Use char offsets in source for local source links/anchors

  Show description for 25bfe92
  jonludlam

  committed
  25bfe92

• Formatting

  jonludlam

  committed
  f11dc04

• Semantic anchors for source locations

  jonludlam

  committed
  9be83d7

• Use fallback for source link if necessary

  Show description for ee9acce
  jonludlam

  committed
  ee9acce

• Update tests

  jonludlam

  committed
  0ebba8a

• Remove Uid module

  jonludlam

  committed
  3620475

• Formatting

  jonludlam

  committed
  7f72bc7

• Use full identifiers for source links

  jonludlam

  committed
  cdb718b

• Compatibility

  jonludlam

  committed
  78ad204

Commits on Jul 8, 2023

• Update test

  jonludlam

  committed
  98296d5

• Formatting

  jonludlam

  committed
  9b0ebdd