This repository was archived by the owner on Mar 5, 2025. It is now read-only.

Fixes for `overloadedAType` in `AType.rsc`#16

Draft

jurgenvinju wants to merge 3 commits intomasterfrom fix-overloaded-atype

+66-7

Commits on Jun 24, 2024

Changed the definitions of asubtype, aglb and alub on the cases for overloadedAType and added documentation on the reasons why. Also annotated a dozen or so possibly fawlty definitions of asubtype,…
jurgenvinju
committed

Commits on Jul 3, 2024