These 81 commits are when the Protocol Buffers files have changed:
| Commit: | 4dc0029 | |
|---|---|---|
| Author: | Drazen Popovic | |
Trying out new proto-nix and a bunch of fixes
The documentation is generated from this commit.
| Commit: | 16ed693 | |
|---|---|---|
| Author: | Drazen Popovic | |
Refusrbished docs
| Commit: | 8736f6d | |
|---|---|---|
| Author: | Drazen Popovic | |
Namespaces protos
| Commit: | a3f74d9 | |
|---|---|---|
| Author: | Drazen Popovic | |
Sorts out error handling in Codegen
| Commit: | 7c831f5 | |
|---|---|---|
| Author: | Drazen Popovic | |
Renames the API parts
| Commit: | f60589c | |
|---|---|---|
| Author: | Drazen Popovic | |
Splits protos and reworks the Nix in terms of modules (BUG)
| Commit: | c7902c3 | |
|---|---|---|
| Author: | Drazen Popovic | |
Fixed the documentation problems
| Commit: | 8442a46 | |
|---|---|---|
| Author: | Drazen Popovic | |
Removed goal cycle error in favor of what is supposedly a co-inductive logic
| Commit: | b116f10 | |
|---|---|---|
| Author: | Drazen Popovic | |
Updates some comments
| Commit: | 0fb591c | |
|---|---|---|
| Author: | Drazen Popovic | |
Migrate the Compiler to use the new Product/Record TyBody.
| Commit: | c39db2f | |
|---|---|---|
| Author: | Drazen Popovic | |
Implements all class check errors
| Commit: | 71d6af7 | |
|---|---|---|
| Author: | Drazen Popovic | |
Consolidates type class checking errors in a module
| Commit: | 9234884 | |
|---|---|---|
| Author: | Drazen Popovic | |
Derive is now wired in the Compiler
| Commit: | 51a4854 | |
|---|---|---|
| Author: | Drazen Popovic | |
Updates the API with Dervice, ClassConstraint and some additional cosmetics
| Commit: | 40aaa87 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
update: trivial instances
| Commit: | d5f8ff9 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: integrate new errors
| Commit: | 8519a26 | |
|---|---|---|
| Author: | Hercules CI Effects | |
Update gh-pages Store path: /nix/store/g27ppv5a0cw70zs8sp7g92646smcyg7w-README.md
This commit does not contain any .proto files.
| Commit: | 034339b | |
|---|---|---|
| Author: | Sean Hunter | |
tweaking error api
| Commit: | 46fe3b9 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: some minor refactoring
| Commit: | 5cd96a5 | |
|---|---|---|
| Author: | Drazen Popovic | |
Cosmetic fixes
| Commit: | f70d0c8 | |
|---|---|---|
| Author: | Drazen Popovic | |
Merge remote-tracking branch 'origin/main' into bladyjoker/compiler
| Commit: | e2ebc67 | |
|---|---|---|
| Author: | Sean Hunter | |
Fleshed out TypeClass API errors
| Commit: | c7061d1 | |
|---|---|---|
| Author: | Drazen Popovic | |
Implemented superclass check with detailed reporting
| Commit: | 0e0c053 | |
|---|---|---|
| Author: | Sean Hunter | |
TypeClassError proto message
| Commit: | 988ea17 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
update: refactor complete
| Commit: | ce4895d | |
|---|---|---|
| Author: | Vlad P. Luchian | |
docs: error docs
| Commit: | 6feb00b | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
rejig: .proto ordering + names
| Commit: | c98455c | |
|---|---|---|
| Author: | Vlad | |
| Committer: | GitHub | |
Update lambda-buffers-proto/compiler.proto
| Commit: | 01a001d | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: modify .proto to add modules and change to tydef
| Commit: | 46a8e87 | |
|---|---|---|
| Author: | Vlad | |
| Committer: | GitHub | |
Apply suggestions from code review Co-authored-by: Dražen Popović <bladyjoker@gmail.com>
| Commit: | 40514f3 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: working errors
| Commit: | bd7bb39 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
Merge branch 'main' into bladyjoker/proto-fixes
| Commit: | 4cc3480 | |
|---|---|---|
| Author: | Drazen Popovic | |
Proto documentation update
| Commit: | 3f57029 | |
|---|---|---|
| Author: | Drazen Popovic | |
All errors are in the API now
| Commit: | e66b833 | |
|---|---|---|
| Author: | Drazen Popovic | |
Purging the mul ty def from KindCheck modules and tests
| Commit: | e6e7bfd | |
|---|---|---|
| Author: | Drazen Popovic | |
Saved work, tests almost working
| Commit: | 7e2b4e5 | |
|---|---|---|
| Author: | Drazen Popovic | |
Drafted error messages
| Commit: | 47fe63b | |
|---|---|---|
| Author: | Vlad | |
| Committer: | GitHub | |
Update lambda-buffers-proto/compiler.proto
| Commit: | 81d7f95 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: round 2 of comments
| Commit: | d7381a3 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
Merge remote-tracking branch 'origin/main' into compiler/multiple-declaration-error
| Commit: | cf654b9 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: respond to comments: 1. merge error 2. change error name
| Commit: | af39137 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
update: add the errors to the .proto
| Commit: | e4d4d5e | |
|---|---|---|
| Author: | gnumonik | |
| Committer: | GitHub | |
Update lambda-buffers-proto/compiler.proto Co-authored-by: Dražen Popović <bladyjoker@gmail.com>
| Commit: | 094f68c | |
|---|---|---|
| Author: | Sean Hunter | |
Merged main branch
| Commit: | 25170ef | |
|---|---|---|
| Author: | Drazen Popovic | |
Added FIXMEs to the Compiler proto
| Commit: | a8e5d72 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
update: internal error
| Commit: | 97a7cf7 | |
|---|---|---|
| Author: | Sean Hunter | |
TyClassRef / module imports
| Commit: | 7a616f5 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: nit nit nit
| Commit: | 7b23f2d | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: address comments 2
| Commit: | a7abd5e | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: address comments
| Commit: | f8b71c9 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
update: new CompilerResult
| Commit: | 575f6a2 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: new protos and protocompat types - integrated into isMessage
| Commit: | 7e5dd81 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: new protos and protocompat types
| Commit: | 84d4bf9 | |
|---|---|---|
| Author: | Drazen Popovic | |
First draft of ToProto module
| Commit: | 083505a | |
|---|---|---|
| Author: | Vlad P. Luchian | |
nit: remove spaces
| Commit: | 9bf3b94 | |
|---|---|---|
| Author: | Sean Hunter | |
Implemented utilities required to implement typeclass validation
| Commit: | 42c156b | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: hooked up to the CLI
| Commit: | b8d4645 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
update: ammend protos
| Commit: | 3383340 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
fix: missed one type
| Commit: | a76e1d8 | |
|---|---|---|
| Author: | Vlad P. Luchian | |
| Committer: | Vlad P. Luchian | |
wip: create compiler output initial structure
| Commit: | 0c53481 | |
|---|---|---|
| Author: | Sean Hunter | |
Added imports field to Module proto
| Commit: | 6102d5a | |
|---|---|---|
| Author: | Sean Hunter | |
ClassName -> ClassRef
| Commit: | ed1151c | |
|---|---|---|
| Author: | Drazen Popovic | |
Moved ProtoCompat and NameCheck into Compiler, augmented the proto with errors
| Commit: | acc2a3a | |
|---|---|---|
| Author: | Sean Hunter | |
Removed superfluous SourceInfo fields
| Commit: | 459e29e | |
|---|---|---|
| Author: | Sean Hunter | |
ty_var -> ty_args
| Commit: | c137cb5 | |
|---|---|---|
| Author: | Sean Hunter | |
TyVar -> TyArg in TyAbs
| Commit: | f83451e | |
|---|---|---|
| Author: | Drazen Popovic | |
Added Sean's content from https://gist.github.com/gnumonik/1f3ba6781d204eb083f729b83cefaff1
| Commit: | da0eadb | |
|---|---|---|
| Author: | Drazen Popovic | |
First pass done
| Commit: | 41747c2 | |
|---|---|---|
| Author: | Drazen Popovic | |
Fixing refs
| Commit: | 2902de6 | |
|---|---|---|
| Author: | Drazen Popovic | |
Small update
| Commit: | 8a12ac2 | |
|---|---|---|
| Author: | Drazen Popovic | |
Small update
| Commit: | a2f94fd | |
|---|---|---|
| Author: | Drazen Popovic | |
Merge remote-tracking branch 'origin/main' into bladyjoker/frontend
| Commit: | 3570085 | |
|---|---|---|
| Author: | Drazen Popovic | |
Parsed type definition
| Commit: | 892e8a3 | |
|---|---|---|
| Author: | Drazen Popovic | |
Parse module name
| Commit: | c1bb2c5 | |
|---|---|---|
| Author: | Drazen Popovic | |
Added no-unification example that works on Protos directly
| Commit: | 8ff03a4 | |
|---|---|---|
| Author: | Drazen Popovic | |
Cosmetics on the proto
| Commit: | 39860e8 | |
|---|---|---|
| Author: | Drazen Popovic | |
Added a `protolint` pre-commit check
| Commit: | df3d0c1 | |
|---|---|---|
| Author: | Drazen Popovic | |
Refurbished the compiler.proto and added textproto examples
| Commit: | 1a3d26f | |
|---|---|---|
| Author: | Drazen Popovic | |
Scaffolded lambda-buffers-proto/
| Commit: | 3f79006 | |
|---|---|---|
| Author: | Drazen Popovic | |
| Committer: | Vlad | |
Removed replit items, introduced the experimental directory and added the Prolog checker
| Commit: | 0c4221d | |
|---|---|---|
| Author: | Dražen Popović | |
Added PoC Protobuf based Compiler/Source/Compiled interface