unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-04 21:57:25 +03:00
Code Issues Projects Releases Wiki Activity
14,886 Commits 424 Branches 92 Tags 407 MiB
b94e1881f1
Commit Graph

899 Commits

Author SHA1 Message Date
Mitchell Rosen
b4bc2e0fb7 fix compiler errors in test suite 2024-01-08 11:27:36 -05:00
Mitchell Rosen
c2ff1320f2 refactor pretty print env creation utils 2024-01-05 15:46:54 -05:00
Mitchell Rosen
4a8c59aca0 make PPE.fromNames take a suffixify-or-not enum 2024-01-05 13:21:25 -05:00
Mitchell Rosen
2e44bd0f3a delete NamesWithHistory type 2024-01-03 18:27:28 -05:00
Mitchell Rosen
ee758a2e22 adjust upgrade PPE to fix alias mishap bug 
previously, any alias of an "old" thing would essentially prevent it
from being updated to the new corresponding thing.

this patch attempts to solve that problem by adjusting the PPE we use to
print things
 2023-12-05 13:17:50 -05:00
Travis Staton
4c096fb067
Merge pull request #4331 from unisonweb/travis/kind-inference 
Add kind inference
 2023-10-04 14:07:38 -04:00
Dan Doel
c3c4a983cd Fix tests 2023-09-29 15:28:47 -04:00
Travis Staton
14116a73b9
fix records transcript 
We need to disable kind inference in the DeclPrinter for the same
reason we disable PMCC
 2023-09-20 15:42:57 -04:00
Dan Doel
16c5b7bf70 Merge remote-tracking branch 'origin/trunk' into topic/interchange-format 2023-09-11 12:48:24 -04:00
Dan Doel
d9e0806011 Ormolu changes 2023-09-07 16:46:37 -04:00
Dan Doel
0f52e01f73 Fix up tests w/r/t new ANF constructors 2023-09-07 16:04:25 -04:00
Mitchell Rosen
83f5e424e6 Make Unison.Reference just re-export the type from U.Codebase.Reference 2023-08-31 12:45:31 -04:00
Mitchell Rosen
db26d46cf8 fix up a couple tests 2023-08-30 16:21:01 -04:00
Mitchell Rosen
66d650eb60 rename U.Codebase.ShortHash back to Unison.ShortHash 2023-08-30 15:28:56 -04:00
Mitchell Rosen
7454829dd5 copy Unison.ShortHash's API over to U.Codebase.ShortHash 2023-08-30 15:03:53 -04:00
Dan Doel
2000803b3c Fix some type errors from lamLift in tests 2023-08-11 12:59:44 -04:00
Paul Chiusano
126ed3c4a7 revamp round trip tests 2023-07-24 09:55:58 -04:00
Paul Chiusano
9cbc3ada56 fix type printer tests 2023-07-21 04:18:29 -04:00
Mitchell Rosen
607e152aa3 add uniqueTypeGuid stub to parsing env 2023-07-18 11:18:54 -04:00
Mitchell Rosen
5ae45600c2 add monad type variable to ParsingEnv 2023-07-17 15:31:20 -04:00
Mitchell Rosen
2d677d0ba3 fix compilation errors in tests 2023-07-17 13:53:41 -04:00
Mitchell Rosen
fb42ebcf81 ⅄ trunk → 23-06-26-reuse-unique-type-guids 2023-07-17 12:50:35 -04:00
Mitchell Rosen
ac8b4c08dd push ShouldUseTndr down into FileParsers 2023-07-13 12:08:16 -04:00
Mitchell Rosen
806fe6bcc8 remove synthesizeFileWithTNDR 2023-07-12 16:48:19 -04:00
Mitchell Rosen
7e7d80527c delete parseAndSynthesizeFile 2023-07-12 15:52:50 -04:00
Travis Staton
52c6db7b9b
add pattern match coverage check switch to synthesize 
fixes #4100
 2023-07-11 13:16:23 -04:00
Chris Penner
fd104bde54 Add dummy file annotations in tests 2023-06-23 10:24:06 -06:00
Mitchell Rosen
b5702b9f88 ormolu the world 2023-05-25 15:02:20 -04:00
Chris Penner
4b19b3c63b Add Bifunctor and methods to Unison.Prelude 2023-05-18 11:27:52 -06:00
Travis Staton
6b3c2f2985
fix test 2023-03-28 13:25:54 -04:00
Paul Chiusano
7e37991a96 Merge remote-tracking branch 'origin/trunk' into pchiusano/ormolu_prs 
# Conflicts:
#	parser-typechecker/src/Unison/Runtime/Foreign.hs
 2023-02-14 09:57:48 -06:00
Paul Chiusano
88ef0a8d37 Ormolu-ify the codebase and update development.markdown docs 2023-02-13 13:03:08 -06:00
Rúnar
5a7b323df7 Fix test 2023-02-10 21:51:49 -05: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
b062e7112f fix test suite again 2022-12-15 12:42:02 -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
b5138c235e fix errors in test suite 2022-12-15 12:04:07 -05:00
Mitchell Rosen
4f38c03f5b pull Unison.Test.Cache out into its own test suite 2022-12-09 14:52:18 -05:00
Paul Chiusano
b5bfbd032b fix test suite 2022-12-07 11:58:32 -06:00
mergify[bot]
cdea252cb0
Merge pull request #3613 from unisonweb/cp/bracket-launch-resources 
Refactor: ensure resources are bracketed on launch
 2022-12-05 18:31:41 +00:00
Chris Penner
5971f4f690 Merge branch 'trunk' into cp/bracket-launch-resources 2022-12-05 12:07:38 -06:00
Mitchell Rosen
8e6dbc1351 ⅄ trunk → 22-10-19-syntax-name 2022-11-29 16:07:49 -05:00
Travis Staton
fafc3280c9 Prevent opening two ucm processes against the same codebase 
optionally obtain file lock on sqlite when opening a codebase
 2022-11-18 16:32:06 -05:00
Chris Penner
b056def9fa Fix broken test 2022-11-17 11:06:17 -06:00
Mitchell Rosen
0c1d9f45eb fix build errors 2022-10-29 08:38:07 +05:30
Mitchell Rosen
ce2a4b0889 ⅄ trunk → 22-10-19-syntax-name 2022-10-29 07:34:33 +05:30
Mitchell Rosen
56c80904ff ⅄ trunk → 22-10-18-unison-syntax 2022-10-28 11:24:17 +05:30
Rúnar
68e94f9a24 Simplified public interface to type/term printer 2022-10-27 21:21:18 -04:00
Rúnar
08d1d7e4df Added a test 2022-10-26 21:45:06 -04:00