diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-26 12:42:27 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-07-26 12:42:27 +0200 |
| commit | 108b963ebe395ec7c75234e5069c31732531fc97 (patch) | |
| tree | 1b867bbb798f3ee4e028d618037d04d0db9a922c /source/Meaning.hs | |
| parent | 86aae60ce793e0c2a2f3e12e744b8739d329d2bb (diff) | |
Make `Omitted` carry its location
Diffstat (limited to 'source/Meaning.hs')
| -rw-r--r-- | source/Meaning.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/Meaning.hs b/source/Meaning.hs index 3c91455..2e49c22 100644 --- a/source/Meaning.hs +++ b/source/Meaning.hs @@ -607,8 +607,8 @@ glossDefnHead = \case glossProof :: Raw.Proof -> Gloss Sem.Proof glossProof = \case - Raw.Omitted -> - pure Sem.Omitted + Raw.Omitted loc -> + pure (Sem.Omitted loc) Raw.Qed loc by -> pure (Sem.Qed loc by) Raw.Contradiction loc by -> |