Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Print exotic identifiers properly when completing polyvariants #870

Merged
merged 5 commits into from
Dec 18, 2023
Merged

Print exotic identifiers properly when completing polyvariants #870

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
1d536a9
add reprod
zth Dec 17, 2023
605123d
change to hover
zth Dec 17, 2023
a80fc8b
track scope properly when inferring values
zth Dec 18, 2023
7266381
print exotic identifiers properly when completing polyvariants
zth Dec 18, 2023
b12a445
changelog
zth Dec 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
add reprod
  • Loading branch information
@zth
zth committed Dec 18, 2023
commit 1d536a9cc7fa7955a28b4bd188832f58c24f84fb
4 changes: 4 additions & 0 deletions analysis/tests/src/Reprod.res
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
let res = 1;

// switch res { | res => res }
// ^xfm