unison
unison copied to clipboard
unisonweb
A friendly programming language from the future
See this commit a6fef85152e698fd8d341e32072d3cf925f55a4f ``` stack build --fast && stack exec tests -- gitsync22.fc.lightweightPatch ``` Remove the `alias.type` from the transcript and it currently fails, suggesting that somehow the old...
Equivalent to unique types; currently we are using workarounds like throwing random data into a definition to distinguish it. Unique terms will need the same care and treatment as #1758...
https://gist.github.com/pchiusano/548032b98d5d6b29cb4314421a231a42 has a writeup of the problem we are trying to solve and proposed new workflow. ---- _Old commentary, out of date_ A couple things I am aware of: 1....
If someone looks at this, it might also be a good moment to consider whether we should be able to parse or pretty-print float values Infinity, -Infinity and NaN. ([comment](https://github.com/unisonweb/unison/blob/bf943e2df6b33acfcca549dfb8617d99e3988b35/parser-typechecker/src/Unison/TermPrinter.hs#L166))...
Even though this has no effect
https://github.com/unisonweb/unison/pull/2029#issuecomment-873036665
I can never remember whether it's `.releases._latest` or `._releases.latest` or `.trunk` or `._trunk` and it would be nice to be able to sort of browse using tab-completion the way you...
Querying a namespace with the list API and a hash doesn't return a name (the value is a `null`): `GET http://127.0.0.1:8080/asdf/api/list?namespace=%232bbp1bkbef8t4b75sblro3m8kd7sjsgrvcont5sg85su77eich2ncgnoprmn7b8ipto6l5mtjs8t7qrh9pc1ohe7tmfg5r5a4r5ll88` (`%23` is the URL encoded version of `#`) returns...
__UPDATE:__ [latest design is here](https://github.com/unisonweb/unison/pull/2247#issuecomment-900409775) --- No longer relevant - > There's some initial work in #2105, but we went down a rabbit hole looking at how we might embed...