Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: liquid-java/liquidjava
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: e3b11c8
Choose a base ref
...
head repository: liquid-java/liquidjava
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: fa84640
Choose a head ref
  • 7 commits
  • 5 files changed
  • 2 contributors

Commits on Nov 11, 2026

  1. Say what a call's return refinement guarantees about an argument it g… 

    …ives

A refinement error whose Expected is about a call argument that is a
call to a refined method now has the note "From: <call> (<File>:<line>)
guarantees only <refinement>", instantiated as the error writes it. An
equality _ == g(...) defining a ghost is left out when the ghost is
nowhere else in the refinement: then it constrains no value, so what is
left is exactly what the refinement says about the value.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 11, 2026
    Configuration menu
    Copy the full SHA
    563dfb6 View commit details
    Browse the repository at this point in the history

  2. Drop a ghost definition only when nothing else constrains that ghost 

    The conjunct _ == g(...) is left out only when g is a declared ghost
(a built-in such as length may be interpreted), g(...) is in no other
conjunct and not in Expected, and every fact of Found that mentions it
is the argument's own equality with it.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 11, 2026
    Configuration menu
    Copy the full SHA
    4c1890c View commit details
    Browse the repository at this point in the history

  3. Keep a ghost definition when the ghost is applied anywhere else 

    Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 11, 2026
    Configuration menu
    Copy the full SHA
    9d2d9e7 View commit details
    Browse the repository at this point in the history

  4. Keep a ghost definition when an alias may apply the ghost 

    Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 11, 2026
    Configuration menu
    Copy the full SHA
    edaba46 View commit details
    Browse the repository at this point in the history

  5. Never take a built-in function for a ghost of the same name 

    Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 11, 2026
    Configuration menu
    Copy the full SHA
    b7df716 View commit details
    Browse the repository at this point in the history

  6. Write the returned-value note as Origin: <File>:<line>, <call> guaran… 

    …tees ...

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 11, 2026
    Configuration menu
    Copy the full SHA
    7b0cf52 View commit details
    Browse the repository at this point in the history

  7. Leave out the returned-value note when it names an argument by its pa… 

    …rameter

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
    @CatarinaGamboa @claude
    CatarinaGamboa and claude committed Nov 11, 2026
    Configuration menu
    Copy the full SHA
    fa84640 View commit details
    Browse the repository at this point in the history
Loading