2021-04-15 20:22:30 +03:00
|
|
|
cabal-version: 1.12
|
2015-05-14 23:17:27 +03:00
|
|
|
|
2021-05-10 18:09:33 +03:00
|
|
|
-- This file has been generated from package.yaml by hpack version 0.34.4.
|
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
|
2015-05-14 23:17:27 +03:00
|
|
|
|
|
|
|
source-repository head
|
|
|
|
type: git
|
2021-04-15 20:22:30 +03:00
|
|
|
location: https://github.com/unisonweb/unison
|
2015-05-14 23:17:27 +03:00
|
|
|
|
|
|
|
flag optimized
|
|
|
|
manual: True
|
2021-07-14 05:40:26 +03:00
|
|
|
default: True
|
2015-05-14 23:17:27 +03:00
|
|
|
|
|
|
|
library
|
|
|
|
exposed-modules:
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Builtin
|
|
|
|
Unison.Builtin.Decls
|
|
|
|
Unison.Builtin.Terms
|
|
|
|
Unison.Codebase
|
|
|
|
Unison.Codebase.Branch
|
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
|
2021-10-02 20:21:14 +03:00
|
|
|
Unison.Codebase.Branch.Raw
|
|
|
|
Unison.Codebase.Branch.Type
|
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
|
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
|
2021-11-12 07:10:33 +03:00
|
|
|
Unison.Codebase.Causal.Type
|
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
|
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
|
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
|
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
|
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
|
2021-11-11 08:38:29 +03:00
|
|
|
Unison.Codebase.PushBehavior
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Codebase.Reflog
|
|
|
|
Unison.Codebase.Runtime
|
|
|
|
Unison.Codebase.Serialization
|
|
|
|
Unison.Codebase.ShortBranchHash
|
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
|
2021-10-19 18:01:26 +03:00
|
|
|
Unison.Codebase.SqliteCodebase.MigrateSchema12
|
2021-10-30 00:49:57 +03:00
|
|
|
Unison.Codebase.SqliteCodebase.MigrateSchema12.DbHelpers
|
2021-04-06 21:50:18 +03:00
|
|
|
Unison.Codebase.SqliteCodebase.SyncEphemeral
|
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
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Codebase.TypeEdit
|
2021-09-28 01:55:20 +03:00
|
|
|
Unison.Codebase.Verbosity
|
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
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.DeclPrinter
|
|
|
|
Unison.FileParser
|
|
|
|
Unison.FileParsers
|
2021-09-26 04:45:21 +03:00
|
|
|
Unison.Hashing.V2.ABT
|
2021-10-02 20:21:14 +03:00
|
|
|
Unison.Hashing.V2.Branch
|
|
|
|
Unison.Hashing.V2.Causal
|
2021-09-23 21:15:52 +03:00
|
|
|
Unison.Hashing.V2.Convert
|
|
|
|
Unison.Hashing.V2.DataDeclaration
|
2021-11-12 07:10:33 +03:00
|
|
|
Unison.Hashing.V2.Hashable
|
2021-11-11 04:06:35 +03:00
|
|
|
Unison.Hashing.V2.Kind
|
2021-10-02 20:21:14 +03:00
|
|
|
Unison.Hashing.V2.Patch
|
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
|
2021-10-02 20:21:14 +03:00
|
|
|
Unison.Hashing.V2.TermEdit
|
2021-12-17 23:43:22 +03:00
|
|
|
Unison.Hashing.V2.Tokenizable
|
2021-09-23 21:15:52 +03:00
|
|
|
Unison.Hashing.V2.Type
|
2021-10-02 20:21:14 +03:00
|
|
|
Unison.Hashing.V2.TypeEdit
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Lexer
|
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.Lexer.Pos
|
2021-04-15 20:22:30 +03:00
|
|
|
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
|
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
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.PrettyTerminal
|
|
|
|
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
|
2021-10-13 18:28:26 +03:00
|
|
|
Unison.Runtime.MCode.Serialize
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Runtime.Pattern
|
2021-10-13 18:28:26 +03:00
|
|
|
Unison.Runtime.Serialize
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Runtime.SparseVector
|
|
|
|
Unison.Runtime.Stack
|
|
|
|
Unison.Runtime.Vector
|
|
|
|
Unison.Server.Backend
|
|
|
|
Unison.Server.CodebaseServer
|
2021-06-15 18:33:51 +03:00
|
|
|
Unison.Server.Doc
|
2021-10-15 23:05:12 +03:00
|
|
|
Unison.Server.Doc.AsHtml
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Server.Endpoints.FuzzyFind
|
|
|
|
Unison.Server.Endpoints.GetDefinitions
|
2021-08-31 19:03:37 +03:00
|
|
|
Unison.Server.Endpoints.NamespaceDetails
|
|
|
|
Unison.Server.Endpoints.NamespaceListing
|
2021-12-06 23:41:45 +03:00
|
|
|
Unison.Server.Endpoints.Projects
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Server.Errors
|
|
|
|
Unison.Server.QueryResult
|
|
|
|
Unison.Server.SearchResult
|
|
|
|
Unison.Server.SearchResult'
|
|
|
|
Unison.Server.Syntax
|
|
|
|
Unison.Server.Types
|
|
|
|
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
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Util.AnnotatedText
|
|
|
|
Unison.Util.Bytes
|
|
|
|
Unison.Util.ColorText
|
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
|
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.Find
|
|
|
|
Unison.Util.Free
|
|
|
|
Unison.Util.Less
|
|
|
|
Unison.Util.Logger
|
|
|
|
Unison.Util.PinBoard
|
|
|
|
Unison.Util.Pretty
|
|
|
|
Unison.Util.Range
|
2021-11-11 08:38:29 +03:00
|
|
|
Unison.Util.Rope
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Util.Star3
|
|
|
|
Unison.Util.SyntaxText
|
2021-11-11 08:38:29 +03:00
|
|
|
Unison.Util.Text
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Util.TQueue
|
|
|
|
Unison.Util.TransitiveClosure
|
2019-08-13 22:34:24 +03:00
|
|
|
other-modules:
|
2021-04-15 20:22:30 +03:00
|
|
|
Paths_unison_parser_typechecker
|
|
|
|
hs-source-dirs:
|
|
|
|
src
|
2021-05-10 18:09:33 +03:00
|
|
|
default-extensions:
|
|
|
|
ApplicativeDo
|
2021-11-01 17:42:21 +03:00
|
|
|
BangPatterns
|
2021-05-10 18:09:33 +03:00
|
|
|
BlockArguments
|
|
|
|
DeriveFunctor
|
2021-10-28 22:57:27 +03:00
|
|
|
DeriveGeneric
|
2021-05-10 18:09:33 +03:00
|
|
|
DerivingStrategies
|
|
|
|
DoAndIfThenElse
|
|
|
|
FlexibleContexts
|
|
|
|
FlexibleInstances
|
2021-10-07 22:52:14 +03:00
|
|
|
GeneralizedNewtypeDeriving
|
2021-05-10 18:09:33 +03:00
|
|
|
LambdaCase
|
|
|
|
MultiParamTypeClasses
|
2021-10-13 02:43:41 +03:00
|
|
|
NamedFieldPuns
|
2021-10-20 20:37:34 +03:00
|
|
|
OverloadedStrings
|
2021-10-13 08:33:55 +03:00
|
|
|
PatternSynonyms
|
2021-11-01 17:42:21 +03:00
|
|
|
RankNTypes
|
2021-05-10 18:09:33 +03:00
|
|
|
ScopedTypeVariables
|
|
|
|
TupleSections
|
|
|
|
TypeApplications
|
2021-10-13 00:58:15 +03:00
|
|
|
ViewPatterns
|
2021-04-15 20:22:30 +03:00
|
|
|
ghc-options: -Wall -O0 -fno-warn-name-shadowing -fno-warn-missing-pattern-synonym-signatures
|
2019-06-05 19:31:19 +03:00
|
|
|
build-depends:
|
2021-04-15 20:22:30 +03:00
|
|
|
ListLike
|
2021-10-05 18:16:10 +03:00
|
|
|
, NanoID
|
2021-04-15 20:22:30 +03:00
|
|
|
, aeson
|
|
|
|
, ansi-terminal
|
|
|
|
, async
|
|
|
|
, base
|
|
|
|
, base16 >=0.2.1.0
|
|
|
|
, base64-bytestring
|
|
|
|
, basement
|
2021-10-13 23:31:05 +03:00
|
|
|
, binary
|
2021-04-15 20:22:30 +03:00
|
|
|
, bytes
|
|
|
|
, bytestring
|
2021-11-11 08:38:29 +03:00
|
|
|
, bytestring-to-vector
|
2021-04-15 20:22:30 +03:00
|
|
|
, cereal
|
|
|
|
, configurator
|
|
|
|
, containers >=0.6.3
|
|
|
|
, cryptonite
|
|
|
|
, data-default
|
|
|
|
, data-memocombinators
|
2021-08-14 04:10:44 +03:00
|
|
|
, deepseq
|
2021-04-15 20:22:30 +03:00
|
|
|
, directory
|
|
|
|
, either
|
|
|
|
, errors
|
|
|
|
, exceptions
|
|
|
|
, extra
|
|
|
|
, filepath
|
|
|
|
, fingertree
|
|
|
|
, fsnotify
|
|
|
|
, fuzzyfind
|
2021-10-21 23:10:43 +03:00
|
|
|
, generic-lens
|
2021-04-15 20:22:30 +03:00
|
|
|
, generic-monoid
|
|
|
|
, hashable
|
|
|
|
, hashtables
|
|
|
|
, haskeline
|
2021-04-29 19:32:58 +03:00
|
|
|
, http-media
|
2021-04-15 20:22:30 +03:00
|
|
|
, http-types
|
|
|
|
, lens
|
2021-10-22 20:43:52 +03:00
|
|
|
, lucid
|
2021-04-15 20:22:30 +03:00
|
|
|
, megaparsec >=5.0.0 && <7.0.0
|
|
|
|
, memory
|
|
|
|
, mmorph
|
2021-04-06 21:50:18 +03:00
|
|
|
, monad-validate
|
2021-04-15 20:22:30 +03:00
|
|
|
, mtl
|
|
|
|
, mutable-containers
|
2021-10-05 18:16:10 +03:00
|
|
|
, mwc-random
|
2021-04-06 21:50:18 +03:00
|
|
|
, natural-transformation
|
2021-04-15 20:22:30 +03:00
|
|
|
, network
|
|
|
|
, network-simple
|
|
|
|
, nonempty-containers
|
2021-06-29 17:42:14 +03:00
|
|
|
, open-browser
|
2021-04-15 20:22:30 +03:00
|
|
|
, openapi3
|
2021-07-31 08:27:08 +03:00
|
|
|
, optparse-applicative >=0.16.1.0
|
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
|
2021-04-15 20:22:30 +03:00
|
|
|
, primitive
|
|
|
|
, process
|
|
|
|
, random >=1.2.0
|
|
|
|
, raw-strings-qq
|
|
|
|
, regex-base
|
|
|
|
, regex-tdfa
|
|
|
|
, safe
|
|
|
|
, safe-exceptions
|
2021-10-25 07:17:48 +03:00
|
|
|
, semialign
|
2021-04-15 20:22:30 +03:00
|
|
|
, servant
|
|
|
|
, servant-docs
|
|
|
|
, servant-openapi3
|
|
|
|
, servant-server
|
|
|
|
, shellmet
|
2021-04-06 21:50:18 +03:00
|
|
|
, sqlite-simple
|
2021-04-15 20:22:30 +03:00
|
|
|
, stm
|
|
|
|
, strings
|
|
|
|
, tagged
|
|
|
|
, temporary
|
|
|
|
, terminal-size
|
|
|
|
, text
|
2021-11-11 08:38:29 +03:00
|
|
|
, text-short
|
2021-11-17 01:46:01 +03:00
|
|
|
, these
|
2021-04-15 20:22:30 +03:00
|
|
|
, time
|
|
|
|
, tls
|
|
|
|
, transformers
|
|
|
|
, unicode-show
|
2021-04-06 21:50:18 +03:00
|
|
|
, unison-codebase
|
|
|
|
, unison-codebase-sqlite
|
|
|
|
, unison-codebase-sync
|
2021-04-15 20:22:30 +03:00
|
|
|
, unison-core
|
2021-04-06 21:50:18 +03:00
|
|
|
, unison-core1
|
2021-10-06 00:54:01 +03:00
|
|
|
, unison-prelude
|
2021-04-06 21:50:18 +03:00
|
|
|
, unison-util
|
2021-10-06 00:54:01 +03:00
|
|
|
, unison-util-relation
|
2021-04-15 20:22:30 +03:00
|
|
|
, unliftio
|
2021-06-29 17:42:14 +03:00
|
|
|
, uri-encode
|
2021-05-01 04:34:45 +03:00
|
|
|
, utf8-string
|
2021-04-15 20:22:30 +03:00
|
|
|
, vector
|
|
|
|
, wai
|
|
|
|
, warp
|
|
|
|
, x509
|
|
|
|
, x509-store
|
|
|
|
, x509-system
|
2022-02-23 18:29:56 +03:00
|
|
|
, yaml
|
2021-08-14 04:10:44 +03:00
|
|
|
, zlib
|
2021-04-15 20:22:30 +03:00
|
|
|
if flag(optimized)
|
2021-04-10 21:22:41 +03:00
|
|
|
ghc-options: -funbox-strict-fields -O2
|
2021-04-15 20:22:30 +03:00
|
|
|
default-language: Haskell2010
|
2019-06-05 19:31:19 +03:00
|
|
|
|
2018-12-11 02:17:18 +03:00
|
|
|
executable prettyprintdemo
|
|
|
|
main-is: Main.hs
|
2021-04-15 20:22:30 +03:00
|
|
|
other-modules:
|
|
|
|
Paths_unison_parser_typechecker
|
|
|
|
hs-source-dirs:
|
|
|
|
prettyprintdemo
|
2021-05-10 18:09:33 +03:00
|
|
|
default-extensions:
|
|
|
|
ApplicativeDo
|
2021-11-01 17:42:21 +03:00
|
|
|
BangPatterns
|
2021-05-10 18:09:33 +03:00
|
|
|
BlockArguments
|
|
|
|
DeriveFunctor
|
2021-10-28 22:57:27 +03:00
|
|
|
DeriveGeneric
|
2021-05-10 18:09:33 +03:00
|
|
|
DerivingStrategies
|
|
|
|
DoAndIfThenElse
|
|
|
|
FlexibleContexts
|
|
|
|
FlexibleInstances
|
2021-10-07 22:52:14 +03:00
|
|
|
GeneralizedNewtypeDeriving
|
2021-05-10 18:09:33 +03:00
|
|
|
LambdaCase
|
|
|
|
MultiParamTypeClasses
|
2021-10-13 02:43:41 +03:00
|
|
|
NamedFieldPuns
|
2021-10-20 20:37:34 +03:00
|
|
|
OverloadedStrings
|
2021-10-13 08:33:55 +03:00
|
|
|
PatternSynonyms
|
2021-11-01 17:42:21 +03:00
|
|
|
RankNTypes
|
2021-05-10 18:09:33 +03:00
|
|
|
ScopedTypeVariables
|
|
|
|
TupleSections
|
|
|
|
TypeApplications
|
2021-10-13 00:58:15 +03:00
|
|
|
ViewPatterns
|
2021-04-15 20:22:30 +03:00
|
|
|
ghc-options: -Wall -O0 -fno-warn-name-shadowing -fno-warn-missing-pattern-synonym-signatures
|
2018-12-11 02:17:18 +03:00
|
|
|
build-depends:
|
2021-04-15 20:22:30 +03:00
|
|
|
base
|
|
|
|
, safe
|
|
|
|
, text
|
|
|
|
, unison-parser-typechecker
|
|
|
|
if flag(optimized)
|
2021-04-10 21:22:41 +03:00
|
|
|
ghc-options: -funbox-strict-fields -O2
|
2021-04-15 20:22:30 +03:00
|
|
|
default-language: Haskell2010
|
2018-10-18 00:45:06 +03:00
|
|
|
|
2018-05-17 06:13:58 +03:00
|
|
|
executable tests
|
2021-04-15 20:22:30 +03:00
|
|
|
main-is: Suite.hs
|
2020-04-20 21:51:47 +03:00
|
|
|
other-modules:
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Core.Test.Name
|
|
|
|
Unison.Test.ABT
|
|
|
|
Unison.Test.ANF
|
|
|
|
Unison.Test.Cache
|
2021-10-29 18:26:04 +03:00
|
|
|
Unison.Test.Codebase.Branch
|
2021-11-30 04:24:06 +03:00
|
|
|
Unison.Test.Codebase.Causal
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Test.Codebase.Path
|
2021-08-31 23:25:03 +03:00
|
|
|
Unison.Test.CodebaseInit
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Test.ColorText
|
|
|
|
Unison.Test.Common
|
|
|
|
Unison.Test.DataDeclaration
|
|
|
|
Unison.Test.FileParser
|
|
|
|
Unison.Test.Lexer
|
|
|
|
Unison.Test.MCode
|
|
|
|
Unison.Test.Range
|
|
|
|
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
|
2021-07-31 05:05:28 +03:00
|
|
|
Unison.Test.Util.Relation
|
2021-11-11 08:38:29 +03:00
|
|
|
Unison.Test.Util.Text
|
2021-04-15 20:22:30 +03:00
|
|
|
Unison.Test.Var
|
|
|
|
Paths_unison_parser_typechecker
|
|
|
|
hs-source-dirs:
|
|
|
|
tests
|
2021-05-10 18:09:33 +03:00
|
|
|
default-extensions:
|
|
|
|
ApplicativeDo
|
2021-11-01 17:42:21 +03:00
|
|
|
BangPatterns
|
2021-05-10 18:09:33 +03:00
|
|
|
BlockArguments
|
|
|
|
DeriveFunctor
|
2021-10-28 22:57:27 +03:00
|
|
|
DeriveGeneric
|
2021-05-10 18:09:33 +03:00
|
|
|
DerivingStrategies
|
|
|
|
DoAndIfThenElse
|
|
|
|
FlexibleContexts
|
|
|
|
FlexibleInstances
|
2021-10-07 22:52:14 +03:00
|
|
|
GeneralizedNewtypeDeriving
|
2021-05-10 18:09:33 +03:00
|
|
|
LambdaCase
|
|
|
|
MultiParamTypeClasses
|
2021-10-13 02:43:41 +03:00
|
|
|
NamedFieldPuns
|
2021-10-20 20:37:34 +03:00
|
|
|
OverloadedStrings
|
2021-10-13 08:33:55 +03:00
|
|
|
PatternSynonyms
|
2021-11-01 17:42:21 +03:00
|
|
|
RankNTypes
|
2021-05-10 18:09:33 +03:00
|
|
|
ScopedTypeVariables
|
|
|
|
TupleSections
|
|
|
|
TypeApplications
|
2021-10-13 00:58:15 +03:00
|
|
|
ViewPatterns
|
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
|
2015-10-19 22:36:16 +03:00
|
|
|
build-depends:
|
2021-04-15 20:22:30 +03:00
|
|
|
async
|
|
|
|
, base
|
|
|
|
, bytestring
|
2022-02-19 06:33:34 +03:00
|
|
|
, code-page
|
2021-04-15 20:22:30 +03:00
|
|
|
, containers
|
|
|
|
, directory
|
|
|
|
, easytest
|
|
|
|
, errors
|
2021-04-07 01:23:45 +03:00
|
|
|
, exceptions
|
2021-04-15 20:22:30 +03:00
|
|
|
, extra
|
|
|
|
, filemanip
|
|
|
|
, filepath
|
2021-10-15 22:24:34 +03:00
|
|
|
, haskeline
|
2021-04-15 20:22:30 +03:00
|
|
|
, here
|
|
|
|
, lens
|
|
|
|
, megaparsec
|
|
|
|
, mtl
|
|
|
|
, raw-strings-qq
|
|
|
|
, shellmet
|
|
|
|
, split
|
|
|
|
, stm
|
|
|
|
, temporary
|
|
|
|
, text
|
|
|
|
, transformers
|
2021-04-06 21:50:18 +03:00
|
|
|
, unison-core1
|
2021-04-15 20:22:30 +03:00
|
|
|
, unison-parser-typechecker
|
2021-10-06 00:54:01 +03:00
|
|
|
, unison-prelude
|
2021-04-06 21:50:18 +03:00
|
|
|
, unison-util
|
2021-10-06 00:54:01 +03:00
|
|
|
, unison-util-relation
|
2021-04-15 20:22:30 +03:00
|
|
|
, unliftio
|
|
|
|
if flag(optimized)
|
2021-04-10 21:22:41 +03:00
|
|
|
ghc-options: -funbox-strict-fields -O2
|
2021-04-15 20:22:30 +03:00
|
|
|
default-language: Haskell2010
|