Paul Chiusano
90c976703f
Avoid building the complete FQN mapping when only a few keys are needed
2021-07-02 11:16:39 -04:00
Paul Chiusano
4418667b79
Merge pull request #1780 from unisonweb/topic/abilities-fixes
...
New ability inference algorithm that better handles recursive functions
2021-06-29 16:22:21 -04:00
Dan Doel
c0afabd198
More documentation
2021-06-29 11:50:25 -04:00
Paul Chiusano
05eef2e8c7
Merge pull request #2138 from unisonweb/topic/render-synthetic-vars
...
fix #2053 by using Var.rawName to produce text for synthetic vars
2021-06-29 07:27:45 -05:00
Dan Doel
fcfd311d79
Document relax
2021-06-28 17:19:09 -04:00
Dan Doel
beb3e3579d
Remove some comments mentioning polarity
2021-06-28 16:39:34 -04:00
Dan Doel
370e7529fe
Remove polarity info from existential variables
...
- It ended up not being used
2021-06-28 14:34:06 -04:00
Dan Doel
656d47a79d
Remove a potential corner case in defaultAbility
...
- It is unlikely that it would ever occur, since it is supposed to
instantiate variables that are known to be instantiable, but just in
case, the new implementation seems more correct.
2021-06-28 11:39:08 -04:00
Dan Doel
49fca9e06b
Get rid of an error replacement
2021-06-28 11:37:17 -04:00
Dan Doel
9eac4455fb
Add a more detailed message for some ability errors
2021-06-28 11:32:32 -04:00
Simon Højberg
ef5f7314b8
Fix misspelling of definition
2021-06-24 10:54:54 -04:00
Rúnar
f69dac5f99
Merge pull request #2135 from tapegram/tavish/replace_supports_term_and_type
...
Create `replace.any` command to automatically update type/term as appropriate
2021-06-22 21:57:37 -04:00
Tavish Pegram
095c1242f1
Update message when given a type/term mismatch
2021-06-22 16:59:30 -05:00
Tavish Pegram
f927458b80
replace.any -> replace and delete replace.type and replace.term
2021-06-22 16:02:27 -05:00
Dan Doel
2e84249fef
Fix EQLF and LEQF implementations
...
They were writing back 0.0 and 1.0 to the stack as boolean proxies,
rather than integer 0 and 1.
2021-06-21 12:59:34 -04:00
Arya Irani
4f34ed25b0
fix #2053 by using Var.rawName to produce text for synthetic vars
2021-06-19 11:40:02 -06:00
Tavish Pegram
4f853a5b4f
Small code formatting cleanup
2021-06-18 18:43:37 -05:00
Tavish Pegram
0d8756cd14
update replace -> replace.any in help text
2021-06-18 18:26:22 -05:00
Tavish Pegram
2423e2fe99
Add ReplaceI and put back in original replace.term behavior
2021-06-18 18:16:04 -05:00
Tavish Pegram
866ffae62a
Adding transcript tests
2021-06-18 18:05:20 -05:00
Tavish Pegram
4c0897e7ed
Implementing in place with happy path test. Needs refactoring
2021-06-18 17:09:23 -05:00
Tavish Pegram
0c8b402168
Swap and and or with && and || in boolean mismatch message
2021-06-16 18:33:11 -05:00
Dan Doel
4c07479f0c
Keep track of sources for wanted abilities
...
- Used for more precise type errors
2021-06-15 18:20:56 -04:00
Paul Chiusano
46dac644b9
Fix possible quadratic performance bug
2021-06-15 14:38:36 -05:00
Dan Doel
15a4dc1f98
Make a type alias for wanted abilities
...
- Makes it easier to adjust in the several places it occurs.
2021-06-14 11:31:33 -04:00
Paul Chiusano
262bae8c60
Merge pull request #2108 from unisonweb/fix/2106
...
Preserve pattern row ordering during compilation
2021-06-11 14:02:19 -05:00
Dan Doel
0671b6cb94
Preserve pattern row ordering during compilation
...
- `splitMatrixBuiltin` uses `fromListWith` which calls the merge
function as `merge new old`, so `merge = (++)` was reversing the rows
of the matrix.
2021-06-11 14:08:33 -04:00
Paul Chiusano
c46e863ab0
Merge remote-tracking branch 'origin/trunk' into topic/directorycontent
...
# Conflicts:
# unison-src/transcripts/merges.output.md
# unison-src/transcripts/reflog.output.md
# unison-src/transcripts/squash.output.md
2021-06-11 11:04:06 -05:00
Arya Irani
ca822e10b6
enumerate codebaseformats
2021-06-08 19:02:22 -06:00
Arya Irani
1f0067cc5e
add type annotation to minBound
2021-06-08 18:46:19 -06:00
Arya Irani
01163cc2b7
add debug.clear-cache command
...
fix #2090 ; only tests that it clears the regular watch cache, but it clears all.
2021-06-08 17:35:26 -06:00
Paul Chiusano
5bc66a1d1c
moar tests and allow identifiers to start with type_ or ability!
2021-06-07 22:34:47 -05:00
Paul Chiusano
f93e83c073
Fix #2091
2021-06-07 22:23:26 -05:00
Dan Doel
7c4dda9aea
Merge branch 'trunk' into topic/abilities-fixes
2021-06-07 15:15:48 -04:00
Dan Doel
a5c35541b9
Try to give a better error message when subtyping rows
...
- The subtyping procedure for rows just calls an ability check, but the
errors for ability checks seem somewhat inappropriate.
- Instead catch the ability check error and report a type mismatch.
2021-06-07 11:29:17 -04:00
Arya Irani
de46c52d7f
Merge branch 'trunk' into topic/more-tolerant-gitcache
2021-06-07 01:59:29 -04:00
Arya Irani
ff9f685a52
wipe a gitcache and retry, if pull fails
2021-06-06 23:53:36 -06:00
Arya Irani
b9720aa944
regression test for unrelated remote git repo
2021-06-06 23:53:21 -06:00
Dan Doel
4018bcd148
Factor out the equating part of subtyping
...
- Possibly useful if more specific handling of equality is desired in
some cases
2021-06-07 00:22:03 -04:00
Dan Doel
848498f86f
Avoid keeping useless variables in the wanted list
2021-06-07 00:07:05 -04:00
Dan Doel
82a0ce2865
Replace a long named variable with an unnamed one
2021-06-06 23:54:29 -04:00
Chris Gibbs
1f6e36ff3b
add parens around termLink and typeLink, according to ambient precedence
2021-06-06 16:19:13 +01:00
Paul Chiusano
15e51eb1df
Merge pull request #2079 from jmorag/disable-pager-emacs
2021-06-05 12:52:53 -05:00
Joseph Morag
fd79953161
Bypass less if running inside emacs
2021-06-05 11:11:41 -04:00
mergify[bot]
86793c0dfe
Merge pull request #2077 from unisonweb/topic/named-sqlite-connections
...
wrapper type for DB connection provenance
2021-06-05 00:25:55 +00:00
Arya Irani
1b623aaea5
new type for db connection provenance
2021-06-04 17:45:41 -06:00
Paul Chiusano
4764e5cace
Merge pull request #2075 from unisonweb/topic/parse-status-codebasepath
2021-06-04 18:28:53 -05:00
Mike (stew) O'Connor
3250ca1229
Merge pull request #2076 from unisonweb/series/M2
...
Series/m2
2021-06-04 16:02:14 -07:00
Arya Irani
8e6ef52e93
use codebase path constants in SC.parseStatus
...
this should also help with windows, one day
2021-06-04 14:56:59 -06:00
Arya Irani
a5d09a734b
fix some benign mistakes
2021-06-04 13:41:27 -06:00
