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