unisonweb / unison

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

feat: add `alias.term.force` #5118

Closed mitchellwrosen closed 2 days ago

mitchellwrosen commented 1 week ago

Overview

This PR adds alias.term.force, which is exactly like alias.term, except:

Test coverage

I've added a transcript.

Loose ends

alias.type.force isn't implemented yet

aryairani commented 2 days ago

per https://unisoncomputing.slack.com/archives/C03HW54CYP4/p1718291333921389?thread_ts=1718289802.482839&cid=C03HW54CYP4 let's prefix it with debug. so it doesn't show up in tab-complete for alias.term.

mitchellwrosen commented 2 days ago

@aryairani Sounds good, renamed