You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
then there's no way to refer to something named bar, outside the file:
whatever =
... bar ... -- resolves to `foo.bar`
This seems inconsistent with how suffix-based name resolution works elsewhere (i.e. if both bar and foo.bar are in the namespace, then bar unambiguously refers to bar, because it's an exact match), and furthermore is a big problem for operations like update, upgrade, and merge, which have a print-then-parse loop.
The text was updated successfully, but these errors were encountered:
If a Unison file has
foo.bar
bound...then there's no way to refer to something named
bar
, outside the file:This seems inconsistent with how suffix-based name resolution works elsewhere (i.e. if both
bar
andfoo.bar
are in the namespace, thenbar
unambiguously refers tobar
, because it's an exact match), and furthermore is a big problem for operations likeupdate
,upgrade
, andmerge
, which have a print-then-parse loop.The text was updated successfully, but these errors were encountered: