unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-20 14:57:41 +03:00
Code Issues Projects Releases Wiki Activity
b224bb09c7
unison/parser-typechecker/unison-parser-typechecker.cabal

396 lines
9.8 KiB
Plaintext
Raw Normal View History

Add generated cabal files
2021-04-15 20:22:30 +03:00
cabal-version: 1.12
redo project structure so that can actually test stuff in node
2015-05-14 23:17:27 +03:00
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
-- This file has been generated from package.yaml by hpack version 0.34.4.
Add generated cabal files
2021-04-15 20:22:30 +03:00
--
-- see: https://github.com/sol/hpack
name: unison-parser-typechecker
version: 0.0.0
homepage: https://github.com/unisonweb/unison#readme
bug-reports: https://github.com/unisonweb/unison/issues
copyright: Copyright (C) 2013-2021 Unison Computing, PBC and contributors
license: MIT
license-file: LICENSE
build-type: Simple
redo project structure so that can actually test stuff in node
2015-05-14 23:17:27 +03:00
source-repository head
type: git
Add generated cabal files
2021-04-15 20:22:30 +03:00
location: https://github.com/unisonweb/unison
redo project structure so that can actually test stuff in node
2015-05-14 23:17:27 +03:00
flag optimized
manual: True
revert change to optimized flag, use stack build --fast if needed
2021-07-14 05:40:26 +03:00
default: True
redo project structure so that can actually test stuff in node
2015-05-14 23:17:27 +03:00
library
exposed-modules:
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Builtin
Unison.Builtin.Decls
Unison.Builtin.Terms
Unison.Codebase
Unison.Codebase.Branch
more re-org - move Unison.Codebase.Branch.BranchDiff into its own module (not to be confused with Unison.Codebase.BranchDiff) 😥 - move Unison.Codebase.Branch.Raw into its own module - move various types from Unison.Codebase.Branch into Unicon.Codebase.Branch.Type to avoid cyclical dependencies with conversion code - temporarily, orphan Hashable Branch0 instance which delegates to the Convert module - use H.hashPatch instead of Hashable for hashing patches - remove unused V1 Caching and serialization code from Unison.Codebase.Branch - dropped `Typing` from the hash function for TermEdit, because it is info that is implied by the hashes. I forget: do we even need these stored in the codebase? later: - audit lenses for Branch (basically, reorg to minimize recomputing deep*) - use canned hashing for Causal and Branch too — and also consider switching to the separate branch and causal hashes thing
2021-10-02 20:21:14 +03:00
Unison.Codebase.Branch.BranchDiff
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.Branch.Merge
Unison.Codebase.Branch.Names
more re-org - move Unison.Codebase.Branch.BranchDiff into its own module (not to be confused with Unison.Codebase.BranchDiff) 😥 - move Unison.Codebase.Branch.Raw into its own module - move various types from Unison.Codebase.Branch into Unicon.Codebase.Branch.Type to avoid cyclical dependencies with conversion code - temporarily, orphan Hashable Branch0 instance which delegates to the Convert module - use H.hashPatch instead of Hashable for hashing patches - remove unused V1 Caching and serialization code from Unison.Codebase.Branch - dropped `Typing` from the hash function for TermEdit, because it is info that is implied by the hashes. I forget: do we even need these stored in the codebase? later: - audit lenses for Branch (basically, reorg to minimize recomputing deep*) - use canned hashing for Causal and Branch too — and also consider switching to the separate branch and causal hashes thing
2021-10-02 20:21:14 +03:00
Unison.Codebase.Branch.Raw
Unison.Codebase.Branch.Type
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.BranchDiff
Unison.Codebase.BranchUtil
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.BuiltinAnnotation
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.Causal
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.Causal.FoldHistory
pull Hashable into Hashing.V2 internals and out of Causal
2021-11-12 07:10:33 +03:00
Unison.Codebase.Causal.Type
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.CodeLookup
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.CodeLookup.Util
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.Editor.DisplayObject
Unison.Codebase.Editor.Git
Unison.Codebase.Editor.RemoteRepo
Unison.Codebase.Execute
Unison.Codebase.FileCodebase
Unison.Codebase.GitError
making an absolute mess in git
2021-04-06 21:50:18 +03:00
Unison.Codebase.Init
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.Init.CreateCodebaseError
replace Pretty with OpenCodebaseError
2021-12-01 18:57:41 +03:00
Unison.Codebase.Init.OpenCodebaseError
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.Init.Type
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.MainTerm
Unison.Codebase.Metadata
Unison.Codebase.Patch
Unison.Codebase.Path
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.Path.Parse
merge trunk and 2625
2021-11-11 08:38:29 +03:00
Unison.Codebase.PushBehavior
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.Reflog
Unison.Codebase.Runtime
Unison.Codebase.Serialization
Unison.Codebase.ShortBranchHash
making an absolute mess in git
2021-04-06 21:50:18 +03:00
Unison.Codebase.SqliteCodebase
Unison.Codebase.SqliteCodebase.Branch.Dependencies
Unison.Codebase.SqliteCodebase.Conversions
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.SqliteCodebase.GitError
Re-arrange Migrations module to support multiple migrations.
2022-03-03 01:58:19 +03:00
Unison.Codebase.SqliteCodebase.Migrations
Add schema 2to3 migration
2022-03-03 02:30:38 +03:00
Unison.Codebase.SqliteCodebase.Migrations.Errors
Re-arrange Migrations module to support multiple migrations.
2022-03-03 01:58:19 +03:00
Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2
Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema1To2.DbHelpers
Add schema 2to3 migration
2022-03-03 02:30:38 +03:00
Unison.Codebase.SqliteCodebase.Migrations.MigrateSchema2To3
Re-arrange Migrations module to support multiple migrations.
2022-03-03 01:58:19 +03:00
Unison.Codebase.SqliteCodebase.Paths
making an absolute mess in git
2021-04-06 21:50:18 +03:00
Unison.Codebase.SqliteCodebase.SyncEphemeral
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.SyncMode
Unison.Codebase.TermEdit
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Codebase.TermEdit.Typing
Unison.Codebase.Type
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.TypeEdit
Adds pull.silent command and links it to existing output silencing mechanism so initial codebase download is less noisy
2021-09-28 01:55:20 +03:00
Unison.Codebase.Verbosity
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Codebase.Watch
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.CodebasePath
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.DeclPrinter
Unison.FileParser
Unison.FileParsers
pull ABT hashing code into Unison.Hashing.{V1,V2}.ABT & do weeding
2021-09-26 04:45:21 +03:00
Unison.Hashing.V2.ABT
more re-org - move Unison.Codebase.Branch.BranchDiff into its own module (not to be confused with Unison.Codebase.BranchDiff) 😥 - move Unison.Codebase.Branch.Raw into its own module - move various types from Unison.Codebase.Branch into Unicon.Codebase.Branch.Type to avoid cyclical dependencies with conversion code - temporarily, orphan Hashable Branch0 instance which delegates to the Convert module - use H.hashPatch instead of Hashable for hashing patches - remove unused V1 Caching and serialization code from Unison.Codebase.Branch - dropped `Typing` from the hash function for TermEdit, because it is info that is implied by the hashes. I forget: do we even need these stored in the codebase? later: - audit lenses for Branch (basically, reorg to minimize recomputing deep*) - use canned hashing for Causal and Branch too — and also consider switching to the separate branch and causal hashes thing
2021-10-02 20:21:14 +03:00
Unison.Hashing.V2.Branch
Unison.Hashing.V2.Causal
split out Hashing.V2 and use that for the application it's not finalized yet; it will still change when we update it to not include reference cycle length
2021-09-23 21:15:52 +03:00
Unison.Hashing.V2.Convert
Unison.Hashing.V2.DataDeclaration
pull Hashable into Hashing.V2 internals and out of Causal
2021-11-12 07:10:33 +03:00
Unison.Hashing.V2.Hashable
move hashing of Kind to hashing pseudopackage
2021-11-11 04:06:35 +03:00
Unison.Hashing.V2.Kind
more re-org - move Unison.Codebase.Branch.BranchDiff into its own module (not to be confused with Unison.Codebase.BranchDiff) 😥 - move Unison.Codebase.Branch.Raw into its own module - move various types from Unison.Codebase.Branch into Unicon.Codebase.Branch.Type to avoid cyclical dependencies with conversion code - temporarily, orphan Hashable Branch0 instance which delegates to the Convert module - use H.hashPatch instead of Hashable for hashing patches - remove unused V1 Caching and serialization code from Unison.Codebase.Branch - dropped `Typing` from the hash function for TermEdit, because it is info that is implied by the hashes. I forget: do we even need these stored in the codebase? later: - audit lenses for Branch (basically, reorg to minimize recomputing deep*) - use canned hashing for Causal and Branch too — and also consider switching to the separate branch and causal hashes thing
2021-10-02 20:21:14 +03:00
Unison.Hashing.V2.Patch
split out Hashing.V2 and use that for the application it's not finalized yet; it will still change when we update it to not include reference cycle length
2021-09-23 21:15:52 +03:00
Unison.Hashing.V2.Pattern
Unison.Hashing.V2.Reference
Unison.Hashing.V2.Reference.Util
Unison.Hashing.V2.Referent
Unison.Hashing.V2.Term
more re-org - move Unison.Codebase.Branch.BranchDiff into its own module (not to be confused with Unison.Codebase.BranchDiff) 😥 - move Unison.Codebase.Branch.Raw into its own module - move various types from Unison.Codebase.Branch into Unicon.Codebase.Branch.Type to avoid cyclical dependencies with conversion code - temporarily, orphan Hashable Branch0 instance which delegates to the Convert module - use H.hashPatch instead of Hashable for hashing patches - remove unused V1 Caching and serialization code from Unison.Codebase.Branch - dropped `Typing` from the hash function for TermEdit, because it is info that is implied by the hashes. I forget: do we even need these stored in the codebase? later: - audit lenses for Branch (basically, reorg to minimize recomputing deep*) - use canned hashing for Causal and Branch too — and also consider switching to the separate branch and causal hashes thing
2021-10-02 20:21:14 +03:00
Unison.Hashing.V2.TermEdit
Rename BuildHashable -> Tokenizable
2021-12-17 23:43:22 +03:00
Unison.Hashing.V2.Tokenizable
split out Hashing.V2 and use that for the application it's not finalized yet; it will still change when we update it to not include reference cycle length
2021-09-23 21:15:52 +03:00
Unison.Hashing.V2.Type
more re-org - move Unison.Codebase.Branch.BranchDiff into its own module (not to be confused with Unison.Codebase.BranchDiff) 😥 - move Unison.Codebase.Branch.Raw into its own module - move various types from Unison.Codebase.Branch into Unicon.Codebase.Branch.Type to avoid cyclical dependencies with conversion code - temporarily, orphan Hashable Branch0 instance which delegates to the Convert module - use H.hashPatch instead of Hashable for hashing patches - remove unused V1 Caching and serialization code from Unison.Codebase.Branch - dropped `Typing` from the hash function for TermEdit, because it is info that is implied by the hashes. I forget: do we even need these stored in the codebase? later: - audit lenses for Branch (basically, reorg to minimize recomputing deep*) - use canned hashing for Causal and Branch too — and also consider switching to the separate branch and causal hashes thing
2021-10-02 20:21:14 +03:00
Unison.Hashing.V2.TypeEdit
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Lexer
Unison.NamePrinter
Unison.Parser
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Parser.Ann
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Parsers
Unison.PrettyPrintEnv
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.PrettyPrintEnv.FQN
Unison.PrettyPrintEnv.Names
Unison.PrettyPrintEnv.Util
Unison.PrettyPrintEnvDecl
Unison.PrettyPrintEnvDecl.Names
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.PrintError
Unison.Result
Unison.Runtime.ANF
Unison.Runtime.ANF.Serialize
Unison.Runtime.Builtin
Unison.Runtime.Debug
Unison.Runtime.Decompile
Unison.Runtime.Exception
Unison.Runtime.Foreign
Unison.Runtime.Foreign.Function
Unison.Runtime.Interface
Unison.Runtime.IOSource
Unison.Runtime.Machine
Unison.Runtime.MCode
Implement by-hand serialization for standalone binary files
2021-10-13 18:28:26 +03:00
Unison.Runtime.MCode.Serialize
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Runtime.Pattern
Implement by-hand serialization for standalone binary files
2021-10-13 18:28:26 +03:00
Unison.Runtime.Serialize
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Runtime.SparseVector
Unison.Runtime.Stack
Unison.Runtime.Vector
Unison.TermParser
Unison.TermPrinter
Unison.Typechecker
Unison.Typechecker.Components
Unison.Typechecker.Context
Unison.Typechecker.Extractor
Unison.Typechecker.TypeError
Unison.Typechecker.TypeLookup
Unison.Typechecker.TypeVar
Unison.TypeParser
Unison.TypePrinter
Unison.UnisonFile
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.UnisonFile.Env
Unison.UnisonFile.Error
Unison.UnisonFile.Names
Unison.UnisonFile.Type
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Util.Bytes
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
Unison.Util.Convert
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Util.CycleTable
Unison.Util.CyclicEq
Unison.Util.CyclicOrd
Unison.Util.EnumContainers
Unison.Util.Exception
Unison.Util.Free
Unison.Util.Logger
Unison.Util.PinBoard
merge trunk and 2625
2021-11-11 08:38:29 +03:00
Unison.Util.Rope
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Util.Star3
merge trunk and 2625
2021-11-11 08:38:29 +03:00
Unison.Util.Text
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Util.TQueue
Unison.Util.TransitiveClosure
use template haskell to embed git version during compilation haven't tested without git.
2019-08-13 22:34:24 +03:00
other-modules:
Add generated cabal files
2021-04-15 20:22:30 +03:00
Paths_unison_parser_typechecker
hs-source-dirs:
src
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
default-extensions:
ApplicativeDo
⅄ trunk → 21-10-26-edit-cycle
2021-11-01 17:42:21 +03:00
BangPatterns
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
BlockArguments
DeriveFunctor
Pairing checkpoint
2021-10-28 22:57:27 +03:00
DeriveGeneric
use explicit deriving strategies where it's ambiguous
2022-03-31 23:26:09 +03:00
DeriveTraversable
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
DerivingStrategies
use explicit deriving strategies where it's ambiguous
2022-03-31 23:26:09 +03:00
DerivingVia
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
DoAndIfThenElse
FlexibleContexts
FlexibleInstances
add some more default extensions
2021-10-07 22:52:14 +03:00
GeneralizedNewtypeDeriving
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
LambdaCase
MultiParamTypeClasses
simplify search implementation a bit with a helper type
2021-10-13 02:43:41 +03:00
NamedFieldPuns
use `base32` instead of `sandi` for base32 codecs
2021-10-20 20:37:34 +03:00
OverloadedStrings
make search result aliases definitely have names, again
2021-10-13 08:33:55 +03:00
PatternSynonyms
⅄ trunk → 21-10-26-edit-cycle
2021-11-01 17:42:21 +03:00
RankNTypes
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
ScopedTypeVariables
TupleSections
TypeApplications
switch internal representation of Name
2021-10-13 00:58:15 +03:00
ViewPatterns
Add generated cabal files
2021-04-15 20:22:30 +03:00
ghc-options: -Wall -O0 -fno-warn-name-shadowing -fno-warn-missing-pattern-synonym-signatures
wip on getting end-to-end unison2 executable working am working through InputPatterns2, fixing compile errors
2019-06-05 19:31:19 +03:00
build-depends:
Add generated cabal files
2021-04-15 20:22:30 +03:00
ListLike
Simplify the codebase server token with NanoID Change the generated codebase server token to be a NanoID of 6 characters. A length of 6 was chosen to have a small enough chance of collision (given the use case of the token, this could maybe be even smaller) and minimal impact on how URLs look. NanoIDs also don't include a lot of special characters (just _ and -), making them great for URls.
2021-10-05 18:16:10 +03:00
, NanoID
Add generated cabal files
2021-04-15 20:22:30 +03:00
, aeson
, ansi-terminal
, async
, base
, base16 >=0.2.1.0
, base64-bytestring
, basement
Get better `binary` error messages for display
2021-10-13 23:31:05 +03:00
, binary
Add generated cabal files
2021-04-15 20:22:30 +03:00
, bytes
, bytestring
merge trunk and 2625
2021-11-11 08:38:29 +03:00
, bytestring-to-vector
Add generated cabal files
2021-04-15 20:22:30 +03:00
, cereal
, configurator
, containers >=0.6.3
, cryptonite
, data-default
, data-memocombinators
compression builtins
2021-08-14 04:10:44 +03:00
, deepseq
Add generated cabal files
2021-04-15 20:22:30 +03:00
, directory
, either
, errors
, exceptions
, extra
, filepath
, fingertree
, fsnotify
, fuzzyfind
Implement migrateDeclComponent
2021-10-21 23:10:43 +03:00
, generic-lens
Add generated cabal files
2021-04-15 20:22:30 +03:00
, generic-monoid
, hashable
, hashtables
, haskeline
Implement sync http client
2022-04-07 00:48:59 +03:00
, http-client
Typo
2021-04-29 19:32:58 +03:00
, http-media
Add generated cabal files
2021-04-15 20:22:30 +03:00
, http-types
, lens
Doc.AsHtml: Use lucid to render docs and syntax
2021-10-22 20:43:52 +03:00
, lucid
Add generated cabal files
2021-04-15 20:22:30 +03:00
, megaparsec >=5.0.0 && <7.0.0
, memory
, mmorph
making an absolute mess in git
2021-04-06 21:50:18 +03:00
, monad-validate
Add generated cabal files
2021-04-15 20:22:30 +03:00
, mtl
, mutable-containers
Simplify the codebase server token with NanoID Change the generated codebase server token to be a NanoID of 6 characters. A length of 6 was chosen to have a small enough chance of collision (given the use case of the token, this could maybe be even smaller) and minimal impact on how URLs look. NanoIDs also don't include a lot of special characters (just _ and -), making them great for URls.
2021-10-05 18:16:10 +03:00
, mwc-random
making an absolute mess in git
2021-04-06 21:50:18 +03:00
, natural-transformation
Add generated cabal files
2021-04-15 20:22:30 +03:00
, network
, network-simple
, nonempty-containers
Add a ucm `ui` command to open the Codebase UI Add a command, `ui`, that opens the Codebase UI with the current codebase server URL.
2021-06-29 17:42:14 +03:00
, open-browser
Add generated cabal files
2021-04-15 20:22:30 +03:00
, openapi3
Use optparse-applicative for all argument parsing
2021-07-31 08:27:08 +03:00
, optparse-applicative >=0.16.1.0
Add generated cabal files
2021-04-15 20:22:30 +03:00
, pem
stripping and unknotting some stuff - moved everything that depended on V1 `Reference` into `FileCodebase` namespace, duplicating a lot of code for better or worse. - pulled these into their own modules: - Codebase (types) into `Codebase.Type`; `Codebase` module re-exports them - `Codebase.Branch.Merge`, - `Codebase.Branch.Names` (Branch shouldn't depend on `Names`) - `Codebase.BuiltinAnnotation` - `Codebase.Causal.FoldHistory` - `Codebase.CodeLookup.Util` (remove `CodeLookup` dependency on `UnisonFile`) - `Codebase.DataDeclaration.ConstructorId` trying to use this alias in relevant places - `Codebase.Init` - `CodebasePath`, the `FilePath` alias. - `Lexer.Pos` (because `AnnotatedText`, `Range`, `Parser.Ann` shouldn't depend on the whole lexer) - `Names.ResolutionResult` (`Type` shouldn't depend on `Names`) - `PrettyPrintEnv.FQN` - `PrettyPrintEnv.Names` (pulled out references to `Names` from `PPE`) - `PPE.Util` not 100% sure what's happening here - `PrettyPrintEnvDecl` pull this data type and supporting functions into separate module - `Path.Parse` (`Path` shouldn't depend on the lexer) - `Path.Convert`, `Path.Parse` into `Unison.Util.Convert` - `Parser.Ann` (`Codebase`, etc. etc. shouldn't depend on `Parser`) - `Referent'` (`SyntaxText`/`ColorText` shouldn't depend on `Reference`) - `Referent` module re-exports stuff from `Referent'`, hard-coded to `Reference`. - removed `SyntaxText.SyntaxText` - `TermEdit.Typing` (because `TermEdit` shouldn't depend on the full typechecker) - `UnisonFile` / `TypecheckedUnisonFile` (types into `UnisonFile.Type`) - `UnisonFile.Env` - `UnisonFile.Error` - `UnisonFile.Names` - `Var.WatchKind` - `Var.refNamed` - Deleted unused `Codebase.Classes` typeclasses wip - Deleted unused `Unison.Util.Menu`, ancient modal stuff - Moved `Codebase.makeSelfContained` into `UnisonFile` module, since it deals with `UnisonFile` and not with `Codebase`. - split up `GitError` into a more codebase-agnostic hierarchy (see `Codebase.Type.GitError`) - changed `bindNames` to `bindReferences` in some cases; `bindNames` remains in `.Names` compatibility module - move `Unison.Var.refNamed` into `Unison.Term` - tweaked GitError to separate obviously codebase-format specific errors from non-obviously-corbase-format-specific errors. - tweaked `Reflog.Entry` to support anything that's coercible to `Unison.Hash`, but also changed its kind - removed `DebugBranchHistoryI` input because I didn't want to maintain its implementation - removed `ShortBranchHash` dependency on `Hash`, and let it work on anything coercible to `Hash`. P.S./todo This class should be called ShortHash; the existing ShortHash is really a ShortReference! - removed SyntaxText dependency on Reference - cleaned up `Path` somewhat - held off on: - move `DD.updateDependencies` - splitting up `Path` into the billion different components - e.g. `Path` becomes `RelativePath`, `Path'` becomes `Path`, and `Absolute` wraps `RelativePath` - `Split` / `Split'` maybe rename to `Path.NonEmpty`? - rename `Branch.getPatch` / `.getMaybePatch` - split out `Name.Parse`, `Name.Convert`, substitute a lot of specific functions like `Path.hqSplitFromName'` with `Convert.parse`. - todo: - clear unreferenced junk - restore: - `NameEdit`? - `PatternCompat`?
2021-07-27 23:42:21 +03:00
, prelude-extras
Add generated cabal files
2021-04-15 20:22:30 +03:00
, primitive
, process
, random >=1.2.0
, raw-strings-qq
, regex-base
, regex-tdfa
, safe
, safe-exceptions
Reference Traversals
2021-10-25 07:17:48 +03:00
, semialign
Add generated cabal files
2021-04-15 20:22:30 +03:00
, servant
, servant-docs
, servant-openapi3
, servant-server
, shellmet
making an absolute mess in git
2021-04-06 21:50:18 +03:00
, sqlite-simple
Add generated cabal files
2021-04-15 20:22:30 +03:00
, stm
, strings
, tagged
, temporary
, terminal-size
, text
merge trunk and 2625
2021-11-11 08:38:29 +03:00
, text-short
Implement branch squash
2021-11-17 01:46:01 +03:00
, these
Add generated cabal files
2021-04-15 20:22:30 +03:00
, time
, tls
, transformers
, unicode-show
making an absolute mess in git
2021-04-06 21:50:18 +03:00
, unison-codebase
, unison-codebase-sqlite
, unison-codebase-sync
Add generated cabal files
2021-04-15 20:22:30 +03:00
, unison-core
making an absolute mess in git
2021-04-06 21:50:18 +03:00
, unison-core1
add unison-hashable, unison-prelude, unison-util-relation packages
2021-10-06 00:54:01 +03:00
, unison-prelude
Separate pretty-printer test suite
2022-03-09 20:21:24 +03:00
, unison-pretty-printer
making an absolute mess in git
2021-04-06 21:50:18 +03:00
, unison-util
add unison-hashable, unison-prelude, unison-util-relation packages
2021-10-06 00:54:01 +03:00
, unison-util-relation
Add generated cabal files
2021-04-15 20:22:30 +03:00
, unliftio
Add a ucm `ui` command to open the Codebase UI Add a command, `ui`, that opens the Codebase UI with the current codebase server URL.
2021-06-29 17:42:14 +03:00
, uri-encode
Look for codebase UI in current dir if config absent
2021-05-01 04:34:45 +03:00
, utf8-string
Add generated cabal files
2021-04-15 20:22:30 +03:00
, vector
, wai
, warp
, x509
, x509-store
, x509-system
Doc Embed: Add Video and FrontMatter Expand the Doc Embed variant to support embedding videos and frontmatter. The latter will be rendered at the top of the output of the html file rendered via the `docs.to-html` command.
2022-02-23 18:29:56 +03:00
, yaml
compression builtins
2021-08-14 04:10:44 +03:00
, zlib
Add generated cabal files
2021-04-15 20:22:30 +03:00
if flag(optimized)
fix typo in optimized flag
2021-04-10 21:22:41 +03:00
ghc-options: -funbox-strict-fields -O2
Add generated cabal files
2021-04-15 20:22:30 +03:00
default-language: Haskell2010
wip on getting end-to-end unison2 executable working am working through InputPatterns2, fixing compile errors
2019-06-05 19:31:19 +03:00
Use stack test suites (#2656) * Give tests independent names and use stack test suites * Update parser-typechecker tests in ci * Update testing instructions and check.sh
2022-04-07 19:16:13 +03:00
test-suite parser-typechecker-tests
type: exitcode-stdio-1.0
Add generated cabal files
2021-04-15 20:22:30 +03:00
main-is: Suite.hs
`transcripts` executable doesn't need tests sources
2020-04-20 21:51:47 +03:00
other-modules:
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Core.Test.Name
Unison.Test.ABT
Unison.Test.ANF
Unison.Test.Cache
add regression test
2021-10-29 18:26:04 +03:00
Unison.Test.Codebase.Branch
un-un-generalize Causal.hs functions, and make Hashable less extensible It may be worth it to un-split it from Causal.Type.hs also. Moved Hashable.hs guts into BuildHashable.hs un-un-specialize Unison.Hashable.hs un-delete Unison.Test.Codebase.Causal.hs (checked out from #2690)
2021-11-30 04:24:06 +03:00
Unison.Test.Codebase.Causal
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Test.Codebase.Path
adds tests for openOrCreateCodebase and introduces types to help
2021-08-31 23:25:03 +03:00
Unison.Test.CodebaseInit
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Test.Common
Unison.Test.DataDeclaration
Unison.Test.FileParser
Unison.Test.Lexer
Unison.Test.MCode
Unison.Test.Referent
Unison.Test.Term
Unison.Test.TermParser
Unison.Test.TermPrinter
Unison.Test.Type
Unison.Test.Typechecker
Unison.Test.Typechecker.Components
Unison.Test.Typechecker.Context
Unison.Test.Typechecker.TypeError
Unison.Test.TypePrinter
Unison.Test.UnisonSources
Unison.Test.Util.Bytes
Unison.Test.Util.PinBoard
Unison.Test.Util.Pretty
Relation.searchDom/Ran and unit test
2021-07-31 05:05:28 +03:00
Unison.Test.Util.Relation
merge trunk and 2625
2021-11-11 08:38:29 +03:00
Unison.Test.Util.Text
Add generated cabal files
2021-04-15 20:22:30 +03:00
Unison.Test.Var
Paths_unison_parser_typechecker
hs-source-dirs:
tests
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
default-extensions:
ApplicativeDo
⅄ trunk → 21-10-26-edit-cycle
2021-11-01 17:42:21 +03:00
BangPatterns
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
BlockArguments
DeriveFunctor
Pairing checkpoint
2021-10-28 22:57:27 +03:00
DeriveGeneric
use explicit deriving strategies where it's ambiguous
2022-03-31 23:26:09 +03:00
DeriveTraversable
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
DerivingStrategies
use explicit deriving strategies where it's ambiguous
2022-03-31 23:26:09 +03:00
DerivingVia
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
DoAndIfThenElse
FlexibleContexts
FlexibleInstances
add some more default extensions
2021-10-07 22:52:14 +03:00
GeneralizedNewtypeDeriving
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
LambdaCase
MultiParamTypeClasses
simplify search implementation a bit with a helper type
2021-10-13 02:43:41 +03:00
NamedFieldPuns
use `base32` instead of `sandi` for base32 codecs
2021-10-20 20:37:34 +03:00
OverloadedStrings
make search result aliases definitely have names, again
2021-10-13 08:33:55 +03:00
PatternSynonyms
⅄ trunk → 21-10-26-edit-cycle
2021-11-01 17:42:21 +03:00
RankNTypes
upgrading stack from 2.5.1 to 2.7.1 caused some minor hpack output diffs
2021-05-10 18:09:33 +03:00
ScopedTypeVariables
TupleSections
TypeApplications
switch internal representation of Name
2021-10-13 00:58:15 +03:00
ViewPatterns
Add generated cabal files
2021-04-15 20:22:30 +03:00
ghc-options: -Wall -O0 -fno-warn-name-shadowing -fno-warn-missing-pattern-synonym-signatures -W -threaded -rtsopts "-with-rtsopts=-N -T" -v0
Move test suite to shared
2015-10-19 22:36:16 +03:00
build-depends:
Add generated cabal files
2021-04-15 20:22:30 +03:00
async
, base
, bytestring
codepage 65001 for parser-typechecker tests too
2022-02-19 06:33:34 +03:00
, code-page
Add generated cabal files
2021-04-15 20:22:30 +03:00
, containers
, directory
, easytest
, errors
Merge branch 'trunk' into wip/codebase2 # Conflicts: # parser-typechecker/package.yaml # parser-typechecker/src/Unison/Codebase/FileCodebase.hs # parser-typechecker/transcripts/Transcripts.hs # parser-typechecker/unison-parser-typechecker.cabal # stack.yaml # unison-core/unison-core1.cabal
2021-04-07 01:23:45 +03:00
, exceptions
Add generated cabal files
2021-04-15 20:22:30 +03:00
, extra
, filemanip
, filepath
Limit namespace completions to within the query's namespace
2021-10-15 22:24:34 +03:00
, haskeline
Add generated cabal files
2021-04-15 20:22:30 +03:00
, here
, lens
, megaparsec
, mtl
, raw-strings-qq
, shellmet
, split
, stm
, temporary
, text
, transformers
making an absolute mess in git
2021-04-06 21:50:18 +03:00
, unison-core1
Add generated cabal files
2021-04-15 20:22:30 +03:00
, unison-parser-typechecker
add unison-hashable, unison-prelude, unison-util-relation packages
2021-10-06 00:54:01 +03:00
, unison-prelude
Separate pretty-printer test suite
2022-03-09 20:21:24 +03:00
, unison-pretty-printer
making an absolute mess in git
2021-04-06 21:50:18 +03:00
, unison-util
add unison-hashable, unison-prelude, unison-util-relation packages
2021-10-06 00:54:01 +03:00
, unison-util-relation
Add generated cabal files
2021-04-15 20:22:30 +03:00
, unliftio
if flag(optimized)
fix typo in optimized flag
2021-04-10 21:22:41 +03:00
ghc-options: -funbox-strict-fields -O2
Add generated cabal files
2021-04-15 20:22:30 +03:00
default-language: Haskell2010
Reference in New Issue Copy Permalink