Mitchell Rosen
f05549bbad
bang on ConstructorReference
2021-11-20 23:18:34 -05:00
Mitchell Rosen
e3999c8730
⅄ 21-11-10-reftypes → 21-11-19-reftypes-rehash-branch
2021-11-20 23:15:21 -05:00
Mitchell Rosen
6052820089
⅄ trunk → topic/rehash-codebase
2021-11-19 14:59:35 -05:00
Mitchell Rosen
9f4a5f2e70
⅄ trunk → 21-11-10-reftypes
2021-11-19 13:26:08 -05:00
Chris Penner
0358ad2b1d
Merge remote-tracking branch 'origin/trunk' into cp/namespace-dependencies
2021-11-16 15:53:57 -06:00
Chris Penner
15414f38ed
Merge branch 'trunk' into cp/namespace-dependencies
2021-11-16 10:26:19 -06:00
Mitchell Rosen
856b58cd39
improve docs of codebase abstraction
2021-11-12 20:59:03 -05:00
Chris Penner
f82944027e
Reimplement dependency analysis to use Labelled dependency helpers
2021-11-12 16:29:58 -06:00
Chris Penner
ceee2705ae
PR feedback
2021-11-12 12:49:09 -06:00
Arya Irani
8da0e284ac
Merge remote-tracking branch 'origin/trunk' into topic/rehash-codebase
...
# Conflicts:
# parser-typechecker/tests/Unison/Test/DataDeclaration.hs
# parser-typechecker/tests/Unison/Test/Term.hs
2021-11-11 23:22:09 -05:00
Arya Irani
61d1139870
Merge pull request #2625 from unisonweb/topic/reexport-hash
...
re-export U.Util.Hash(Hash) as Unison.Hash(Hash)
2021-11-11 23:16:05 -05:00
Arya Irani
14489cc2ed
Merge remote-tracking branch 'origin/trunk' into topic/rehash-codebase
...
# Conflicts:
# parser-typechecker/src/Unison/Codebase/Editor/HandleInput.hs
# parser-typechecker/src/Unison/CommandLine/OutputMessages.hs
# parser-typechecker/src/Unison/PrettyPrintEnv.hs
# unison-src/transcripts/merges.output.md
# unison-src/transcripts/reflog.output.md
# unison-src/transcripts/squash.output.md
2021-11-11 12:06:00 -05:00
Arya Irani
5a34dc8bf3
re-export U.Util.Hash(Hash) as Unison.Hash(Hash)
...
and clean up some aspects of and usages of the apis
2021-11-10 23:36:54 -05:00
Arya Irani
d136f684af
move hashing of Kind to hashing pseudopackage
2021-11-10 20:06:35 -05:00
Mitchell Rosen
9a12aafb62
reintroduce some necessary laziness
2021-11-10 19:54:42 -05:00
Dan Doel
e742dfb642
Guard against improper eta reductions
...
- The eta reducer was converting `x -> f x x` to `f x`
2021-11-10 17:35:27 -05:00
Chris Penner
7c03b3ad86
Merge branch 'trunk' into cp/namespace-dependencies
2021-11-10 15:24:02 -06:00
Chris Penner
b39597b060
Clean up
2021-11-10 15:22:58 -06:00
Mitchell Rosen
056db7d4a7
⅄ trunk → 21-11-10-reftypes
2021-11-10 15:36:51 -05:00
Mitchell Rosen
434188b695
propagate ConstructorReference everywhere
2021-11-10 15:28:39 -05:00
Chris Penner
d4d4a444ef
Compiling with table layout
2021-11-10 13:18:25 -06:00
Mitchell Rosen
31c735dd05
generalize types a bit
2021-11-10 12:21:16 -05:00
Mitchell Rosen
a4bbc03ad9
Add TermReference, TypeReference, ConstructorReference
2021-11-10 12:14:47 -05:00
Arya Irani
1c2a5c6fe4
salt v2 hashes with version number
...
this seems like an ok place to put this, but i'm not 100% set
this module I guess should move into hashing v2 pseudopackage though, after
updating how Causal hashes are computed, to also use v2 pseudopackage
2021-11-10 11:53:43 -05:00
Mitchell Rosen
070db99afd
Make PrettyPrintEnv only contain named things
2021-11-08 17:29:41 -05:00
Chris Penner
88b7015245
Merge commit 'db9ba82a9' into cp/namespace-dependencies
2021-11-08 10:57:46 -06:00
Chris Penner
de5833398d
Attempt to find all constructor refs
2021-11-04 16:51:00 -06:00
Arya Irani
4a7b0f5604
Merge remote-tracking branch 'origin/trunk' into topic/rehash-codebase
...
# Conflicts:
# unison-core/src/Unison/Reference.hs
# unison-core/src/Unison/Referent'.hs
2021-11-03 10:48:13 -04:00
Chris Penner
842aa4a0bd
Merge remote-tracking branch 'origin/topic/rehash-codebase' into topic/rehash-codebase
2021-11-02 12:37:01 -06:00
Mitchell Rosen
6344a417c8
Add type signatures and scoped type variables to get everything loadable
...
into one ghci session
2021-11-02 14:34:56 -04:00
Chris Penner
94fcea6eea
migrate watch
2021-11-02 12:21:49 -06:00
Arya Irani
2ed8e687ad
Merge remote-tracking branch 'origin/trunk' into topic/rehash-codebase
...
# Conflicts:
# codebase2/codebase-sqlite/unison-codebase-sqlite.cabal
# codebase2/util/package.yaml
# codebase2/util/unison-util.cabal
# parser-typechecker/src/Unison/Codebase/Branch.hs
# parser-typechecker/src/Unison/Codebase/Editor/HandleInput.hs
# parser-typechecker/src/Unison/Codebase/Editor/Propagate.hs
# parser-typechecker/src/Unison/Hashing/V2/Convert.hs
# parser-typechecker/src/Unison/Hashing/V2/DataDeclaration.hs
# parser-typechecker/src/Unison/Hashing/V2/Term.hs
# parser-typechecker/src/Unison/Hashing/V2/Type.hs
# unison-core/src/Unison/ABT.hs
# unison-core/src/Unison/NamesWithHistory.hs
# unison-core/src/Unison/Term.hs
# unison-core/src/Unison/Type/Names.hs
2021-11-02 11:09:55 -04:00
Chris Penner
44843eaed3
Rough rough draft of computing namespace closure.
...
I'd much prefer to do this at the database level, but we don't have the
ability to do that just yet.
2021-11-01 17:10:51 -06:00
Mitchell Rosen
9650689716
⅄ trunk → 21-10-26-edit-cycle
2021-11-01 10:42:21 -04:00
Arya Irani
66eafa927c
splitting up saveBranch
...
factored out localToDbBranch :: BranchLocalIds -> LocalBranch -> DbBranch
and dbToLocalBranch :: DbBranch -> (BranchLocalIds, LocalBranch)
into U.Codebase.Sqlite.Branch.Format.hs
and split that functionality out of Ops.loadBranch
created MigrateSchema12.DbHelpers module (name tbd)
to convert from db format to hashing format
threw away junk from Hashing.V2.Referent, including ConstructorType
consolidated references to ConstructorId
accidentally formatted Pattern.hs, V2/Term.hs
2021-10-29 17:49:57 -04:00
Mitchell Rosen
346e55d80f
⅄ trunk → 21-10-26-edit-cycle
2021-10-29 10:36:57 -04:00
Mitchell Rosen
8464f31ece
remove monotonic maps that use Name.cons
2021-10-28 17:43:41 -04:00
Mitchell Rosen
fef65dbeab
edit components
2021-10-28 10:33:25 -04:00
Mitchell Rosen
502b89f6d5
work on 10/26
2021-10-26 23:31:57 -04:00
Mitchell Rosen
0a978e93ad
delete old name
2021-10-26 12:42:40 -04:00
Mitchell Rosen
3d529a3efa
Fix endsWithSegments, add endsWithReverseSegments
2021-10-26 11:36:50 -04:00
Mitchell Rosen
9f87891643
add some comments to Name
2021-10-26 10:57:14 -04:00
Mitchell Rosen
ad7ed42ff9
add note about monotonic maps
2021-10-26 10:53:21 -04:00
Mitchell Rosen
394201e9ae
make endsWithSegments less weird
2021-10-25 17:34:11 -04:00
Mitchell Rosen
e06427617b
remove instance Hashable Name
2021-10-25 17:26:50 -04:00
Mitchell Rosen
fc7b6d9c22
⅄ trunk → 21-10-07-name-refactor
2021-10-25 14:57:58 -04:00
Mitchell Rosen
9dd25091a8
get migrate12 compiling
2021-10-25 14:18:07 -04:00
Chris Penner
767b08fc48
Remove unused Data instance
2021-10-25 09:17:27 -06:00
Chris Penner
e9e3972689
More rewrites
2021-10-24 22:49:41 -06:00
Chris Penner
3946e25e8c
Reference Traversals
2021-10-24 22:17:48 -06:00
