unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 00:08:14 +03:00
Code Issues Projects Releases Wiki Activity
7,714 Commits 419 Branches 90 Tags 331 MiB
90c976703f
Commit Graph

7714 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
90c976703f Avoid building the complete FQN mapping when only a few keys are needed 2021-07-02 11:16:39 -04:00
mergify[bot]
ab91c89a08
Merge pull request #2160 from Carreau/doc-moved 
Remove old duplicate file now on unisonweb-org repo.
 2021-06-30 23:37:09 +00:00
Matthias Bussonnier
1e4c2adea1 Remove old duplicate file now on unisonweb-org repo. 
Addresses part of #2159

A newer more up-to-date version of this is on the website repo under
 /src/data/docs/language-reference/README.md

The other files will need to also be checked independently for wether
the contents need to be kept or not I'm not familiar enough to judge.
 2021-06-30 21:55:11 +02: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
66ecee2e55 Add a signature to a test that now requires it 2021-06-28 11:42:02 -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
Arya Irani
536ed977c4
Merge pull request #2142 from unisonweb/fix-definition-typo 
Fix misspelling of definition
 2021-06-25 22:16:02 -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
fc9feef0e4 Fix some tests 2021-06-22 17:17:30 -05:00
Tavish Pegram
095c1242f1 Update message when given a type/term mismatch 2021-06-22 16:59:30 -05:00
Tavish Pegram
cca4dc8958 Fix a couple failing tests 2021-06-22 16:14:18 -05:00
Tavish Pegram
f927458b80 replace.any -> replace and delete replace.type and replace.term 2021-06-22 16:02:27 -05:00
Rúnar
bd8514b3ff
Merge pull request #2141 from unisonweb/fix/2136 
Fix EQLF and LEQF implementations
 2021-06-21 15:21:24 -04: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
9390e80692
Merge pull request #2134 from jneira/cabal-support 
Update cabal.project
 2021-06-20 20:25:30 -04:00
jneira
8792006912 Remove commented option 2021-06-19 20:32:12 +02:00
jneira
8d3347f7be Add me as contributor 2021-06-19 20:10:57 +02: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
jneira
0f9caa7b92 Add ghc-options for packages 2021-06-18 23:32:49 +02:00
jneira
93da3433fb Update cabal instructions 2021-06-18 23:19:00 +02:00
jneira
d9908f606f Ignore dist-newstyle 2021-06-18 21:28:18 +02:00
jneira
05dfdf4ded Update cabal.project 2021-06-18 21:27:58 +02:00
Arya Irani
ef1b25af7b
Merge pull request #2125 from tapegram/tavish/update_error_message_for_boolean_mismatch 
Swap `and` and `or` with `&&` and `||` in boolean mismatch message
 2021-06-16 20:03:14 -04:00
Tavish Pegram
cccc5e7d14 Add self to contributors file 2021-06-16 18:51:50 -05:00
Tavish Pegram
0c8b402168 Swap and and or with && and || in boolean mismatch message 2021-06-16 18:33:11 -05:00
Rúnar
becea9aef4
Merge pull request #2117 from unisonweb/fix/server-performance-bug 
Fix possible quadratic performance bug in Backend.hs
 2021-06-16 11:03:24 -04: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
Arya Irani
f1972001e8
Merge pull request #2114 from unisonweb/topic/bump-lts 
update stackage lts to 17.15
 2021-06-15 10:26:18 -04:00
Arya Irani
dff0ba1cbe update stackage lts to 17.15 2021-06-15 00:13:15 -06: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
994f38d10b Add tests 2021-06-11 14:18:00 -04: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
mergify[bot]
d22768377a
Merge pull request #1994 from unisonweb/topic/directorycontent 
Add `directoryContents` builtin
 2021-06-11 17:23:45 +00: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
Paul Chiusano
58c8cbd8c6
Merge pull request #2094 from unisonweb/cleanup/fix2027 
Simplify regression test to not pull all of base
 2021-06-11 10:53:47 -05:00