search

unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.73k stars 267 forks source link

Consider not disambiguating types from terms by hash #1073

Open mitchellwrosen opened 4 years ago

mitchellwrosen commented 4 years ago

If I add these definitions

unique type a = A Nat
a = 800

then peek at my history, I'll see this:

Screen Shot 2019-12-15 at 11 23 23 AM

but @aryairani brings up here that this is probably not the right way to go: https://github.com/unisonweb/unison/pull/1069#discussion_r357988632

mitchellwrosen commented 4 years ago

Maybe:

+ Added types:

    a

+ Added terms:

    a a.A

Yeouch...

aryairani commented 4 years ago

Maybe separate columns for types and terms? Or a unified namespace? :)