Chris Penner
|
1eaa4c5678
|
Add unused package warning
|
2024-08-29 12:55:31 -07:00 |
|
Mitchell Rosen
|
82d012fdb1
|
emit a proper resolution result for constructors
|
2024-08-23 12:08:22 -04:00 |
|
Eduard Nicodei
|
56874a6082
|
s/forall/forAll/ as it will become a restricted keyword
-Wforall-identifier
|
2024-06-25 10:06:26 +01:00 |
|
Chris Penner
|
6384038ee0
|
Don't expose Branch0 internals, (and add add lens utils to prelude)
|
2024-05-30 15:21:47 -07:00 |
|
Chris Penner
|
e20837cc9f
|
WIP
|
2024-02-22 16:34:33 -08:00 |
|
Dan Doel
|
2778dcce84
|
Be a bit more intelligent about retaining TDNR context
|
2024-01-29 13:19:55 -05:00 |
|
Rúnar
|
1b139293a4
|
Fixed weird TDNR bug with missingresult blanks
|
2023-07-30 20:41:27 -04:00 |
|
Rúnar
|
5f4f79f1c9
|
Picking another tag
|
2023-07-30 15:56:58 -04:00 |
|
Rúnar
|
6c5868472a
|
Actually add support for missing results
|
2023-07-30 07:12:26 -04:00 |
|
Chris Penner
|
711b48cf21
|
Merge branch 'trunk' into lsp/binding-annotations
|
2023-06-22 18:05:49 -06:00 |
|
Mitchell Rosen
|
b5702b9f88
|
ormolu the world
|
2023-05-25 15:02:20 -04:00 |
|
Arya Irani
|
143c0de660
|
Merge pull request #4016 from unisonweb/lts-20.22
|
2023-05-24 16:43:33 -04:00 |
|
Arya Irani
|
d936b0424b
|
fix formatting
|
2023-05-24 00:44:08 -04:00 |
|
Arya Irani
|
c28f168e39
|
remove some ghc 9.4 options that leaked in here
|
2023-05-24 00:25:04 -04:00 |
|
Arya Irani
|
f619a8fcd2
|
building on lts-20.22
|
2023-05-23 07:42:58 -04:00 |
|
Arya Irani
|
b5beb0e94d
|
merge old lts bump into new trunk
|
2023-05-20 16:37:08 -04:00 |
|
Chris Penner
|
4b19b3c63b
|
Add Bifunctor and methods to Unison.Prelude
|
2023-05-18 11:27:52 -06:00 |
|
Chris Penner
|
9499497a4c
|
Ormolu
|
2023-03-23 16:36:45 -06:00 |
|
Chris Penner
|
3a54bc5652
|
Merge remote-tracking branch 'origin/trunk' into lsp/binding-annotations
|
2023-03-23 15:33:52 -06:00 |
|
Travis Staton
|
d38f31a93c
|
Merge remote-tracking branch 'origin/trunk' into topic/projects
|
2023-02-22 12:51:03 -05:00 |
|
Paul Chiusano
|
88ef0a8d37
|
Ormolu-ify the codebase and update development.markdown docs
|
2023-02-13 13:03:08 -06:00 |
|
Travis Staton
|
bf88e668a6
|
upgrade hpack to 0.35
|
2023-02-09 14:04:47 -05:00 |
|
Chris Penner
|
8091d2472f
|
WIP
|
2022-12-19 11:25:27 -06:00 |
|
Mitchell Rosen
|
a87a688471
|
fold U.Util.Hash into Unison.Hash
|
2022-12-15 13:48:36 -05:00 |
|
Mitchell Rosen
|
6e99914c77
|
⅄ trunk → 22-12-14-tidy-up-hashing-package
|
2022-12-15 12:46:57 -05:00 |
|
Mitchell Rosen
|
3e395e3b89
|
move unison-hash:Unison.ContentAddressable to unison-hashing:Unison.Hashing.ContentAddressable
|
2022-12-15 12:31:30 -05:00 |
|
Mitchell Rosen
|
9edbec27f4
|
haddock fix
|
2022-12-14 21:04:16 -05:00 |
|
Mitchell Rosen
|
3c20ab3834
|
change hashing v2 branch type name from Raw to Branch
|
2022-12-14 21:00:55 -05:00 |
|
Mitchell Rosen
|
9b423774a6
|
hide v2 hashing behind an interface
|
2022-12-14 20:59:46 -05:00 |
|
Mitchell Rosen
|
87ff4adac0
|
delete V2 newtype for deriving ContentAddressable
|
2022-12-14 19:41:22 -05:00 |
|
Mitchell Rosen
|
4d7c09a7bd
|
monomorphize Token and delete Accumulate class
|
2022-12-14 19:36:02 -05:00 |
|
Mitchell Rosen
|
72c5f1db5e
|
add instance ContentAddressable for hashing branch
|
2022-12-14 19:26:19 -05:00 |
|
Mitchell Rosen
|
bbc17e01a6
|
move Unison.Hash and friends to new unison-hash package
|
2022-12-14 19:03:52 -05:00 |
|
Mitchell Rosen
|
ce23976934
|
Move hashing-v2 name segment into its own module
|
2022-12-14 18:20:06 -05:00 |
|
Mitchell Rosen
|
7eee9e01bb
|
remove vestigial unison-util package
|
2022-12-09 14:37:52 -05:00 |
|
Mitchell Rosen
|
ed77121949
|
Move name parsing/printing functions from Unison.Name to Unison.Syntax.Name
|
2022-10-19 22:17:07 -04:00 |
|
Chris Penner
|
063536615a
|
Pin stack version in CI (#3465)
* Pin stack version in CI
* Revert back to old hpack version
* Pin ubuntu version
* Swap all powershell to bash
* Set shell on all 'defaults' blocks
|
2022-09-28 14:00:32 -06:00 |
|
Chris Penner
|
4988428fe4
|
Rebuild with stack 2.9.1
|
2022-09-27 13:53:12 -06:00 |
|
Chris Penner
|
2de0751669
|
Revert this to upgrade to GHC 9.2.3
These are all the changes which are incompatible between 8.10.7 and GHC 9.2.3
|
2022-08-10 17:13:00 -06:00 |
|
Chris Penner
|
6f73ca8c20
|
Merge branch 'trunk' into ghc-9.2.3-cleanup
|
2022-08-09 12:18:57 -06:00 |
|
Chris Penner
|
88c67e4b97
|
Pattern cleanups for GHC 9.2
|
2022-08-09 11:52:04 -06:00 |
|
Arya Irani
|
3b31b95308
|
Merge pull request #3125 from unisonweb/travis/update-indices
Update type and term indices after push and pull
|
2022-06-17 13:44:18 -04:00 |
|
Arya Irani
|
1d0ab1d4f3
|
Merge remote-tracking branch 'origin/trunk' into arya/ooo-sync
# Conflicts:
# hie.yaml
# parser-typechecker/package.yaml
# unison-hashing-v2/package.yaml
# unison-hashing-v2/unison-hashing-v2.cabal
|
2022-06-16 15:06:42 -04:00 |
|
Travis Staton
|
535eaf98a9
|
Add unison-codebase-sqlite-hashing-v2 package
unison-codebase-sqlite is now parameterized by the hashing functions
|
2022-06-16 14:29:11 -04:00 |
|
Travis Staton
|
3dcb952b3c
|
convert2
|
2022-06-16 14:22:41 -04:00 |
|
Travis Staton
|
65d735dc14
|
merge trunk
|
2022-06-13 10:54:37 -04:00 |
|
Mitchell Rosen
|
382816e7b4
|
extract unison-hashing-v2 package from unison-parser-typechecker
|
2022-06-09 23:42:07 -04:00 |
|