Arya Irani
193882e8d4
Merge pull request #1440 from pete-ts/suffixied-update-output
...
Suffixied `update` output
2020-04-20 23:22:13 -04:00
Arya Irani
1a9f021d99
Merge pull request #1428 from unisonweb/fix/decompile-bytes-fromList
...
`Bytes` values should decompile to `Bytes.fromList`, not `Bytes.fromSequence`
2020-04-20 23:00:47 -04:00
mergify[bot]
add1ac4bcf
Merge pull request #1444 from unisonweb/topic/unlessError
...
introduce `unlessError` combinator
2020-04-21 01:46:49 +00:00
Paul Chiusano
79f631a7f3
Merge pull request #1446 from unisonweb/topic/fill-partial-type-signatures
...
fill in the partial type signatures in HandleInput.hs
2020-04-20 21:33:25 -04:00
Arya Irani
a208e5f5c1
fill in the partial type signatures in HandleInput.hs
2020-04-20 16:30:13 -04:00
Arya Irani
ae95dcf3ce
Merge pull request #1432 from unisonweb/topic/default-metadata
...
Add default metadata to unisonConfig
2020-04-20 16:05:58 -04:00
Arya Irani
18a53ba30f
introduce a new combinator I'm using in #1439
2020-04-20 15:55:14 -04:00
Runar Bjarnason
b605b46aeb
Transcript output
2020-04-20 15:52:42 -04:00
Runar Bjarnason
b28308f02a
Make "no-op" message less confusing
2020-04-20 15:30:39 -04:00
Runar Bjarnason
0e465cd50f
Added comments
2020-04-20 14:40:07 -04:00
Runar Bjarnason
1e8d9ee472
Merge branch 'master' of github.com:unisonweb/unison into topic/default-metadata
2020-04-20 14:03:40 -04:00
pete-ts
2e102fd5bb
Updates transcript outputs with revised output
2020-04-20 16:01:42 +01:00
pete-ts
e392785ec1
Updates the handled output for update
to align with add/add.preview/update.preview
2020-04-20 16:00:14 +01:00
Rúnar
d99614af48
Merge pull request #1437 from pete-ts/escape-sequences
...
Pretty-printer of non ascii characters in `Text`
2020-04-19 12:47:17 -04:00
pete-ts
33930186d9
Corrects typo in comment
2020-04-18 20:45:55 +01:00
pete-ts
825d7ee3e0
Updates/extends TermParser tests with examples from transcript
2020-04-18 20:44:30 +01:00
pete-ts
34b647fb7c
Text literals can display non-ascii chars
2020-04-17 22:19:38 +01:00
Runar Bjarnason
45daaf8574
Regression test for #763
2020-04-15 16:43:42 -04:00
Paul Chiusano
4b20ca7768
Merge pull request #1427 from stew/new-Int-operations
...
add three new operations to Int
2020-04-15 12:43:16 -04:00
Stew O'Connor
7cabcb6918
add stew to contributors
2020-04-14 21:00:36 -07:00
Stew O'Connor
636c86f6e7
Merge remote-tracking branch 'origin/master' into new-Int-operations
2020-04-14 16:17:36 -07:00
Stew O'Connor
076a594ca9
updated transcripts to include new pow/shiftRight/shiftLeft builtins
2020-04-14 14:20:12 -07:00
Stew O'Connor
4e06966fde
Changes suggested by Paul
...
* exponents are all typed as Nat instead of Int
* renamme <<, >> to shiftLeft, shiftRight
* add Nat.{pow,shiftRight,shiftLeft}
* add source tests for Int / Nat
(Thanks @pchiusano!)
2020-04-14 14:16:30 -07:00
Runar Bjarnason
c028b04bb6
Avoid transcripts loading the global unisonConfig
2020-04-14 16:32:54 -04:00
Runar Bjarnason
abb81dac8a
Detour to let parseHQSplit' handle symbols
2020-04-14 16:04:27 -04:00
Runar Bjarnason
3cc606876f
Cleaning up
2020-04-14 13:58:44 -04:00
Runar Bjarnason
29107bed8c
Explicitly type the metadata
2020-04-14 13:14:52 -04:00
Runar Bjarnason
dda862580f
Merge branch 'master' of github.com:unisonweb/unison into topic/default-metadata
2020-04-14 10:40:10 -04:00
Paul Chiusano
9255694b52
fix bug when decompiling Bytes
values - it incorrectly produced nonsense builtin
...
added transcript to verify
2020-04-14 09:47:56 -04:00
Stew O'Connor
cd7a1b390f
add three new operations to Int
...
<< and >> are left shift / right shift bitwise operators
a `pow` b is exponentiation, a to the b power.
2020-04-13 23:20:37 -07:00
Paul Chiusano
b2e0d5b6e3
Merge pull request #1424 from unisonweb/topic/1363-doc-space-glitch
...
Couple of fixes to whitespace handling in doc literals
2020-04-13 15:28:24 -04:00
Arya Irani
c76caf1784
Merge pull request #1425 from pete-ts/feature/list-names-types-first
...
Swaps the arguments and output sequence of ListNames
2020-04-13 13:47:45 -04:00
pete-ts
f4f6c1baa2
Removes call to mergeio, changes to alias instead
2020-04-13 18:08:15 +01:00
pete-ts
4a0fb261f1
Swaps the arguments and output sequence of ListNames
2020-04-13 17:55:45 +01:00
Chris Gibbs
b3a4f497f0
Another fix to doc literal whitespace handling
...
Stop eating spaces that immediately follow @[source], @[evaluate] or @[include] directives on the same line, while unindenting.
Also fix docs.md so its example isn't asking for line-wrapping.
2020-04-13 17:27:58 +01:00
Chris Gibbs
8dfc25e68d
Merge branch 'master' into topic/1363-doc-space-glitch
2020-04-13 16:07:21 +01:00
mergify[bot]
fa50b653e5
Merge pull request #1422 from unisonweb/fix/pull-regression-in-1317
...
fix pull regression in #1317
2020-04-12 17:16:52 +00:00
Arya Irani
ae321226b4
fix for @bascott -identified regression
2020-04-12 13:10:15 -04:00
mergify[bot]
09fcaecf2e
Merge pull request #1419 from unisonweb/topic/transcript-runner-single-exec
...
just run `stack exec` once in `Transcripts.hs` and save the result
2020-04-10 21:42:03 +00:00
Arya Irani
316dc3fd32
Merge remote-tracking branch 'origin/master' into topic/transcript-runner-single-exec
2020-04-10 17:36:17 -04:00
mergify[bot]
a2f11f82f3
Merge pull request #1420 from unisonweb/topic/some-lint
...
flushing some lint
2020-04-10 21:31:28 +00:00
Paul Chiusano
2d9e1f1892
Merge pull request #1416 from unisonweb/topic/tests-transcripts-nonoverlapping-source-dirs
...
split `tests` and `transcripts` into nonoverlapping source directories
2020-04-10 17:24:40 -04:00
Arya Irani
e8f23609d7
flushing some lint
2020-04-10 14:12:49 -04:00
Arya Irani
ca0a22a356
just run stack exec
once in Transcripts.hs
and save the result
2020-04-10 14:07:01 -04:00
Arya Irani
88631dc0f2
split tests
and transcripts
into nonoverlapping source directories
2020-04-10 13:17:41 -04:00
Runar Bjarnason
1d814ef3cc
Merge branch 'master' of github.com:unisonweb/unison into topic/default-metadata
2020-04-09 21:07:34 -04:00
Runar Bjarnason
97f9a35b65
Add default metadata on updates and do superpaths
2020-04-09 21:06:07 -04:00
mergify[bot]
31e19f32eb
Merge pull request #1411 from unisonweb/topic/merge-builtins-on-merge-builtins
...
delay serializing IOSource definitions until `builtins.merge`
2020-04-09 21:57:24 +00:00
Arya Irani
0432f39b7f
add builtins.mergeio
example to the emptyCodebase.md
transcript test
2020-04-09 17:52:04 -04:00
Arya Irani
6b2e2c376d
Merge branch 'master' into topic/merge-builtins-on-merge-builtins
...
# Conflicts:
# parser-typechecker/src/Unison/Codebase/FileCodebase.hs
2020-04-09 17:42:56 -04:00