Arya Irani
37add698d1
plumb new repo types
2022-05-17 18:45:06 -04:00
Mitchell Rosen
a06e6352d0
extract unison-util-base32hex package
2022-04-12 15:51:03 -04:00
Chris Penner
52da285bf6
Add unison-share-api package with Sync APIs ( #3018 )
2022-04-01 10:14:01 -06:00
Arya Irani
7ce354a00e
Merge pull request #2916 from unisonweb/22-02-17-integration-tests-hie
2022-02-17 15:48:03 -07:00
Arya Irani
953e372fa8
delete broken runtime benchmark
...
per discussion with @dolio
2022-02-17 10:13:10 -07:00
Arya Irani
c61cdd615f
add integration-tests to hie.yaml
2022-02-17 09:43:23 -07:00
Mitchell Rosen
5e833c3a33
add unison-sqlite package
2021-11-15 20:32:08 -05:00
Mitchell Rosen
d46bdcbf3e
move many ucm-related modules into unison-cli library component
2021-11-05 00:40:50 -04:00
iamevn
28d1840899
move package cli -> unison-cli
...
the haskell language server was giving me some errors about not being able to find a local cli package, renaming it to unison-cli fixed that and seems to be consistent with other naming conventions.
2021-10-22 23:17:40 -07:00
Mitchell Rosen
d690f72c28
use base32
instead of sandi
for base32 codecs
2021-10-20 13:39:54 -04:00
Chris Penner
5235c809bf
Move transcripts executable from parser-typechecker to cli
...
It depends on the cli executable.
2021-10-12 12:56:21 -06:00
Chris Penner
5de74416f9
Split off cli
2021-10-12 12:42:58 -06:00
Chris Penner
a31554bb54
Added Benchmarks
2021-10-08 16:00:28 -06:00
Mitchell Rosen
7abc4a2009
remove some trailing dots from hie.yaml
2021-10-06 19:02:32 -04:00
Mitchell Rosen
023a86c585
add unison-util-relation test suite
2021-10-06 12:24:45 -04:00
Arya Irani
c4f0727a3e
cleanup hie.yaml
2021-04-28 08:10:14 -06:00
Arya Irani
0b57929fd1
delete and clean up stuff
2021-04-28 00:09:14 -06:00
Arya Irani
844022a7fe
simplify hie.yaml
2021-03-31 22:48:47 -07:00
Arya Irani
bc46711c6b
syncToDirectory
2021-03-11 13:02:08 -05:00
Arya Irani
e73811326c
move ... stuff
2021-02-24 17:53:27 -05:00
Arya Irani
c775fad2be
added dependents/type/type-mention indexes
...
but still not working
2021-02-08 11:14:08 -05:00
Arya Irani
fa100de7c9
move TermUtil/TypeUtil from Convert project to util-term
2021-02-05 12:09:56 -05:00
Arya Irani
29359b18a8
change hashing for refs, and add loadTermByHash
2020-10-20 13:27:43 -04:00
Arya Irani
279b6e876d
Merge remote-tracking branch 'origin/trunk' into wip/codebase2
...
# Conflicts:
# .travis.yml
# parser-typechecker/src/Unison/Builtin.hs
# parser-typechecker/src/Unison/Runtime/ANF.hs
# parser-typechecker/src/Unison/Runtime/Builtin.hs
# parser-typechecker/src/Unison/Runtime/Decompile.hs
# parser-typechecker/src/Unison/Runtime/Foreign.hs
# parser-typechecker/src/Unison/Runtime/Foreign/Function.hs
# parser-typechecker/src/Unison/Runtime/MCode.hs
# parser-typechecker/src/Unison/Runtime/Machine.hs
# parser-typechecker/src/Unison/Runtime/Stack.hs
# parser-typechecker/tests/Unison/Test/MCode.hs
# unison-core/src/Unison/Type.hs
# unison-src/new-runtime-transcripts/hashing.md
# unison-src/new-runtime-transcripts/hashing.output.md
# unison-src/transcripts/alias-many.output.md
# unison-src/transcripts/emptyCodebase.output.md
# unison-src/transcripts/merges.output.md
# unison-src/transcripts/reflog.output.md
# unison-src/transcripts/squash.output.md
2020-10-19 13:43:16 -04:00
Arya Irani
22f07828d0
wip
2020-10-19 10:17:25 -04:00
Arya Irani
51772f6d5b
create syncv1v2 package
2020-09-25 10:55:14 -04:00
Arya Irani
49328bb25e
codebase2 wip; temporarily deleted old packages to improve hls startup
2020-09-15 12:28:28 -04:00
Ian Grant Jeffries
2b8e95a9e7
Add hie.yaml
...
This gets ghcide working.
```
$ ghcide
...
Completed (183 files worked, 1 file failed)
```
The 1 file failed is because of ./unison-src/parser-tests/GenerateErrors.hs, and shouldn't affect anything.
ghcide details:
+ compiled from ghcide `master`
+ using commit 6a72d99bfb0b4c407ada9f36f9367f1523063a84
+ using the `./stack88.yaml` config file, with the resolver changed to `lts-16.6`
2020-07-25 20:08:33 -04:00