search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
437 stars 63 forks source link

Rework the position tracking for types. #2094

Closed sauclovian-g closed 1 month ago

sauclovian-g commented 1 month ago

(Summary is in the first commit.)

This is the second of probably three batches of changes for #2071.

sauclovian-g commented 1 month ago

I merged because there were two conflicts in MGU.hs so GH wouldn't do it on its own. They were minor conflicts but I'm consequently inclined to keep the merge and not rebase. (The merge crosses the ghc 9.8 changes)