staging release/M1h #1162
Merged
staging release/M1h #1162
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Motivation: TypeVar is just an auxiliary data type in one specific typechecker implementation.
…f a given definition)
cleanup outdated defns in IOSource
…mand Use a short hash in the `names` output
Fixed pretty printing of Char when it is part of a pattern
Add implementation for Nat.toFloat (Fix #1011)
We eliminate usage of FSNotify debouncing as it seems to ignore later events within the debounce window and just use it "unbounced".
… appear to have fixed the problem
still not getting correct `use` insertion here:
expected:
let
use A x
use A.T.A T1
g = T1 +3
h = T1 +4
i : T -> T -> Int
i p q =
g' = T1 +3
h' = T1 +4
+2
if true then x else x
actual:
let
use A.T.A T1
g = T1 +3
h = T1 +4
i : T -> T -> Int
i p q =
g' = T1 +3
h' = T1 +4
+2
if true then A.x else A.x
Carve out unison-core package
Added pretty-printer support for Doc literals
# Conflicts: # parser-typechecker/src/Unison/Util/Pretty.hs
Diff.namespace
Handle-with syntax
`ucm transcript` default behavior deletes the codebase that the transcript runner created
Closed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Thanks (in no particular order) to @atacratic, @TomasMikula, @mitchellwrosen, @pt2121, @noahhaasis, @alvaroc1, @int-index, @matthewess, @anovstrup, and @pete-ts, for your contributions to this release!
New features:
Nat.toFloat(Add implementation for Nat.toFloat (Fix #1011) #1012)bug : a -> bandtodo : a -> bbuiltins, which print their arguments and terminate (Addbugandtodobuiltin (Close #769) #881)(
todocalls will probably show up in thetodoucm output in not too long)deletecommand (Delete term/type refactor #1036) (no longer need to distinguish between terms and types)delete(Show branch diff after delete #1068)loadcommand to manually load a .u file into ucm (Add load command #1099)Docliterals (Added pretty-printer support for Doc literals #994)diff.namespacecommand which prints the diff between two namespaces (Diff.namespace #1064).the new diff output is also used now by relevant existing commands.
-save-codebaseflag is passed to thetranscriptcommand. (ucm transcriptdefault behavior deletes the codebase that the transcript runner created #1155)Changed behavior:
handle e with hsyntax (Handle-with syntax #1159) instead of currenthandle h in e.fun fact: your existing code automatically reflects this syntax change 🎉
.unisonConfigfrom the directory that the codebase is in (i.e. your home dir) (Read .unisonConfig from where the codebase is #1031)Fixes:
Charwhen it is part of a pattern (Fixed pretty printing of Char when it is part of a pattern #1008)namesoutput (Use a short hash in thenamesoutput #1002)ucm run(ucm run: do not set up interactive environment #1057)deletetab completion wasn't including types (Makedeletetab completion also list types #1076)todooutput if there is nothing to do (Speed up todo output if there is nothing to do #1088)