Skip to content

KC: Integrate Common Validated Proto Types #26

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 11 commits into from
Jan 30, 2023
Merged

KC: Integrate Common Validated Proto Types #26

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
9a02484
WIP
cstml Jan 25, 2023
94b5efa
WIP: revert changes to types
cstml Jan 26, 2023
3030810
update: finalised KC'ing - need to adapt tests to match module
cstml Jan 26, 2023
38a8858
update: added trivial test
cstml Jan 26, 2023
4a2d655
Merge remote-tracking branch 'origin/main' into compiler/common-types…
cstml Jan 27, 2023
95eb070
update:code-quality
cstml Jan 27, 2023
b3018d2
update: created simple test - failing due to common validation
cstml Jan 30, 2023
86b8575
update: fix implementation
cstml Jan 30, 2023
71d3900
update: added consistency check
cstml Jan 30, 2023
3f37ee8
nit: remove note
cstml Jan 30, 2023
d3e7612
update: add failing test
cstml Jan 30, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 15 additions & 7 deletions lambda-buffers-compiler/lambda-buffers-compiler.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@ common common-language
FlexibleInstances
ForeignFunctionInterface
GADTSyntax
GeneralizedNewtypeDeriving
HexFloatLiterals
ImportQualifiedPost
InstanceSigs
Expand All @@ -64,6 +65,7 @@ common common-language
PolyKinds
PostfixOperators
RankNTypes
RecordWildCards
RelaxedPolyRec
ScopedTypeVariables
StandaloneDeriving
Expand All @@ -79,15 +81,19 @@ common common-language

default-language: Haskell2010

common common-imports
build-depends:
, base >=4.16
, lens >=5.2

library
import: common-language
import: common-imports
build-depends:
, base >=4.16
, containers >=0.6
, containers >=0.6.5.1
, freer-simple >=1.2
, generic-lens >=2.2
, lambda-buffers-compiler-pb >=0.1.0.0
, lens >=5.2
, mtl >=2.2
, parsec >=3.1
, prettyprinter >=1.7
Expand All @@ -96,7 +102,11 @@ library

exposed-modules:
LambdaBuffers.Compiler.KindCheck
LambdaBuffers.Compiler.KindCheck.Context
LambdaBuffers.Compiler.KindCheck.Inference
LambdaBuffers.Compiler.KindCheck.Kind
LambdaBuffers.Compiler.KindCheck.Type
LambdaBuffers.Compiler.KindCheck.Variable
LambdaBuffers.Compiler.NamingCheck
LambdaBuffers.Compiler.ProtoCompat
LambdaBuffers.Compiler.ProtoCompat.Types
Expand All @@ -106,13 +116,12 @@ library

executable lambda-buffers-compiler-cli
import: common-language
import: common-imports
main-is: Main.hs
build-depends:
, base >=4.16
, bytestring >=0.11
, lambda-buffers-compiler
, lambda-buffers-compiler-pb >=0.1.0.0
, lens >=5.2
, optparse-applicative >=0.17
, proto-lens >=0.7
, text >=1.2
Expand All @@ -122,14 +131,13 @@ executable lambda-buffers-compiler-cli

test-suite tests
import: common-language
import: common-imports
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: Test.hs
build-depends:
, base >=4.16
, lambda-buffers-compiler
, lambda-buffers-compiler-pb >=0.1
, lens >=5.2
, proto-lens >=0.7
, tasty >=1.4
, tasty-hunit >=0.10
Expand Down
Loading