Mitchell Rosen
cf1baee523
add debug.alias.type.force
2024-06-26 15:33:15 -04:00
Arya Irani
e589d0ff75
Merge pull request #5118 from unisonweb/24-06-21-alias-term-force
2024-06-26 12:20:09 -04:00
mergify[bot]
c10904c509
Merge pull request #5135 from etorreborre/etorreborre/fix/5134-print-error
...
fix: fix the textual representation of an ordinal number
2024-06-26 16:05:57 +00:00
etorreborre
3556cb6ec8
fix: fix the textual representation of an ordinal number
2024-06-26 17:34:45 +02:00
Mitchell Rosen
e1b00d9c58
rename alias.term.force to debug.alias.term.force
2024-06-26 11:23:21 -04:00
Arya Irani
95fc3aabfd
Merge pull request #5124 from unisonweb/24-06-24-todo-dependents
2024-06-26 10:36:51 -04:00
Arya Irani
1e72750bb1
Merge pull request #5133 from unisonweb/fix/5129
2024-06-25 16:23:14 -04:00
Arya Irani
769cbbd003
Merge pull request #5106 from neduard/ghc-964-updates-part-1
2024-06-25 16:20:47 -04:00
Dan Doel
34877da01c
Don't relax type when doing an instantiateL during subtyping
...
This is the case of `a < T` for some structured T. By relaxing, we are
actually allowing `a` to be a _supertype_ of T as far as abilities go,
which is not correct. Seems like it was just erroneously mirrored from
the opposite case.
2024-06-25 15:54:10 -04:00
aryairani
382cdacb9f
automatically run ormolu
2024-06-25 19:33:39 +00:00
Arya Irani
627acb7f3a
Update parser-typechecker/src/Unison/PatternMatchCoverage/Solve.hs
2024-06-25 15:33:22 -04:00
Arya Irani
53c3a16366
Merge pull request #5114 from unisonweb/topic/force-syntax
2024-06-25 10:34:00 -04:00
Mitchell Dalvi Rosen
eca07552bc
Merge pull request #5130 from unisonweb/24-06-25-merge-bug-transcript
...
add transcript that demonstrates bug in merge
2024-06-25 10:05:32 -04:00
Mitchell Rosen
ae54637bae
add transcript that demonstrates bug in merge
2024-06-25 09:40:06 -04:00
Eduard Nicodei
364b7790ca
more s/forall/forAll/
2024-06-25 12:29:13 +01:00
Eduard Nicodei
4453fda570
fix redundant pattern match warning
2024-06-25 10:06:26 +01:00
Eduard Nicodei
037ac60bf3
Use TypeOperators
2024-06-25 10:06:26 +01:00
Eduard Nicodei
bbd11c9da7
define non-trivial functor
2024-06-25 10:06:26 +01:00
Eduard Nicodei
fff10977ec
move let block outside of inner function
...
this caused a weird type error
2024-06-25 10:06:26 +01:00
Eduard Nicodei
56874a6082
s/forall/forAll/ as it will become a restricted keyword
...
-Wforall-identifier
2024-06-25 10:06:26 +01:00
Eduard Nicodei
d745d24114
Trivial fixes
...
* trivial additions of functor
* limit imports to just used functions
* remove unnecesary imports
2024-06-25 09:11:25 +01:00
Paul Chiusano
97838c4883
Merge remote-tracking branch 'origin/trunk' into topic/force-syntax
...
# Conflicts:
# unison-src/transcripts-round-trip/main.output.md
# unison-src/transcripts-round-trip/reparses-with-same-hash.u
2024-06-24 18:53:04 -05:00
Mitchell Rosen
3e229d521f
⅄ trunk → 24-06-24-todo-dependents
2024-06-24 13:42:13 -04:00
Arya Irani
7172bb8e4f
Merge pull request #5107 from unisonweb/24-06-13-revamp-todo
2024-06-24 12:08:27 -04:00
Mitchell Dalvi Rosen
05e2184d1f
Merge pull request #5123 from unisonweb/24-06-24-hide-patches-from-ls
...
feat: hide patches from ls output
2024-06-24 10:50:55 -04:00
Mitchell Rosen
35e2dfb8e5
delete patches from ls output
2024-06-24 09:57:17 -04:00
Mitchell Rosen
c3b7091784
move ls handler into its own module
2024-06-24 09:52:47 -04:00
Mitchell Rosen
d8240cd106
add transcripts for showing dependents of todo
2024-06-24 09:45:11 -04:00
Mitchell Rosen
4b359ce8af
⅄ 24-06-13-revamp-todo → 24-06-24-todo-dependents
2024-06-24 09:41:58 -04:00
Mitchell Rosen
40ef6afda2
make todo show direct dependents of todo, not transitive dependents
2024-06-24 09:40:54 -04:00
Mitchell Rosen
297bfd8d7f
add getDirectDependentsWithinScope
2024-06-24 09:38:36 -04:00
Mitchell Rosen
058882b388
pull out createTemporaryTableOfReferences helper
2024-06-24 09:29:57 -04:00
Mitchell Rosen
4ef8450130
rename dependentsWithinScope to transitiveDependentsWithinScope
2024-06-24 09:24:29 -04:00
Mitchell Rosen
b57ada5e92
include dependents of todo builtin in todo command output
2024-06-24 09:15:32 -04:00
Mitchell Rosen
827cb0c0a2
make dependentsWithinScope return type less awkward
2024-06-24 09:04:38 -04:00
Mitchell Rosen
2ddea6372d
drop temp table
2024-06-24 08:55:54 -04:00
Mitchell Rosen
a2e2ae4751
sketch out todo dependent rendering
2024-06-24 08:44:51 -04:00
Mitchell Rosen
0d441f3b75
move todo data types around
2024-06-24 08:26:52 -04:00
Arya Irani
67985204e5
Merge pull request #5108 from sellout/lexer-error-messages
2024-06-24 08:19:16 -04:00
Greg Pfeil
782ac4164d
Remove redundant , from lexer errors
...
Appositives only need to be offset by commas if there isn’t already some other punctuation.
2024-06-23 22:18:51 -05:00
Greg Pfeil
10d2622991
Remove unused error case
2024-06-23 22:09:51 -05:00
Arya Irani
f74565dbfe
Merge pull request #5111 from sellout/docs.to-html-project-support
2024-06-23 22:18:20 -04:00
Greg Pfeil
3a9e8e51a0
Test that docs.to-html actually writes files
2024-06-23 20:21:16 -05:00
Arya Irani
ed2658d453
Merge pull request #5121 from neduard/fix-4727-roundrip-in-byteliteral
2024-06-23 12:26:29 -04:00
Arya Irani
2d33fd10a0
merge trunk
2024-06-23 11:59:32 -04:00
Arya Irani
453e88a0f2
Merge pull request #5120 from neduard/fix-4729-roundtrip-bug-in-doc-callout
2024-06-23 10:39:22 -04:00
Ed
d4946ed22c
Fix typo
...
Co-authored-by: Arya Irani <538571+aryairani@users.noreply.github.com>
2024-06-22 20:03:24 +01:00
Eduard Nicodei
9c610510c1
update main.output.md
2024-06-22 18:09:28 +01:00
Eduard Nicodei
85ab99f605
add test in reparses-with-same-hash
...
# Conflicts:
# unison-src/transcripts-round-trip/reparses-with-same-hash.u
2024-06-22 18:09:28 +01:00
Eduard Nicodei
e806225540
Add group such that elements are concatenated without space
2024-06-22 18:09:28 +01:00
