Proto commits in johnynek/bosatsu

These 30 commits are when the Protocol Buffers files have changed:

2025-02-19

Add lib build command (#1377)

The documentation is generated from this commit.

2025-01-24

Add lib assemble to generate library files (#1346) * Add lib assemble to generate library files * add Output.Library and PlatformIO library methods * share more code in Fs2PlatformIO * list invariants to check * checkpoint * checkpoint * simplify LibConfig * checkpoint, pausing for sha256 impl * use hashing * checkpoint * use blake3 to simplify build * add more property checks * add unused transitive deps * add checks for dependency usage * read the git-sha * Add some tests of allImportPacks and visibleDepPackages * checkpoint ApiDiff * add ApiDiff * more ApiDiff work * finish ApiDiff * fix test

2024-12-28

Add Library to proto definition (#1337)

2024-12-17

Make a cross platform proto project (#1324)

2024-02-11

deploy: 5978ddf24c2257549868b55c37aa5e65eb98e78c

This commit does not contain any .proto files.

2023-12-24

Encode Kinds to Longs in proto (#1087) * Encode Kinds to Longs in proto * remove a branch

2023-11-23

Existential types support (#1066) * Add initial Existential types * improvements to Infer * add some notes about existentials * add Skolemization type * rewrite skolemize, add a test * handle more Type.Quant cases * get some RankNInferTests passing * check for meta-escape, fix bug * refactor TypedExpr.Generic using Type.Quantification * get simplest possible existential case infering * checkpoint with some progress * checkpoint * get next test passing * get tests passing * fix some tests * add test using existentials in pattern matching * checkpoint * new idea for existentials + branches, seems to work * fix TypeRef with TypeExists * add more Type tests * simplify and remove some debug * address some things noticed in review * add a test suggested by snoble * add a negative test * use exists in BuildLibrary example

2023-11-22

address some things noticed in review

2023-11-12

refactor TypedExpr.Generic using Type.Quantification

2023-10-27

Add initial Existential types

2023-10-08

Char literal and patterns (#1052) * Add parsing of char patterns * checkpoint mostly working * checkpoint with interpreter tests working * hopefully get tests green * make scalajs tests pass * fix python SelectItem generation * avoid codepoints for scalajs * increase coverage * actually add LitTest file * improve Lit.fromChar test * Implement char matching in Python * fix python test

2023-09-08

so long to automatic currying (#1029) * checkpoint * update TypeRef * checkpoint with less red * coreJVM compiling but with warnings * cli/compile works * coreJVM/test:compile * Add error messages for fn arity mismatch * get parsing test passing * test and fix Type.Fun.unapply * minor Fun.unapply optimization * Fix typeRef generator * get EvaluationTest passing * Put SelfCallKind in a separate file * get PathModule tests passing * fix PythonGen * fix EvaluationTest messages * fix currying of constructors in python * fixes noticed reading the code

2023-02-26

Add kind system with kind inference for structs (#943)

2019-12-03

Deploy johnynek/bosatsu to github.com/johnynek/bosatsu.git:gh-pages

Support for string interpolation and matching (#428) * Support for parsing interpolation strings * Add Declaration support for string concat * try to get parse tests passing, they don't yet * Add SimpleStringPattern to model string pattern matching * Get things compiling, but totality tests not yet passing * get intersection working * get tests passing * get tests passing * fix an assertion * fix 2.11 compilation issues * get test coverage up * fix broken test

2019-06-21

Proto support for compiled packages (#268) * WIP: Proto support for compiled packages * finish package to proto * implement most of package deserialiation * set up the decoding tables * checkpoint with code complete, but no tests for pack deserialization * checkpoint very basic test passing * minor improvement to shuffle * finish generators, tests don't yet pass * checkpoint, tests still aren't passing * get basic tests passing * generator-based tests passing * unify loading interfaces and packages * add code to read and write compiled packages * add tests writing and reading to disk

2019-06-17

checkpoint, tests still aren't passing

2019-06-02

finish package to proto

2019-05-27

Add serialization of TypedExpr to proto (#266) * Add serialization of TypedExpr to proto * add generators for TypedExpr * implement TypedExpr decoding

2019-05-21

Add protos for Package.Typed (#261) * Add protos for Package.Typed * use pattern index in Branch

2019-05-19

use pattern index in Branch

Add protos for Package.Typed

2019-05-18

Use a constant table for strings and types in protos (#258) * Use a constant table for strings in protos * make the algorithm single pass * unify read and write of Index tables * simplify serialization state, less generic * use the table approach for types as well as strings, cuts size another 2x or so * use two separate tables, improve type decoding

2019-05-17

use the table approach for types as well as strings, cuts size another 2x or so

2019-05-16

Use a constant table for strings in protos

Add Proto version of package interfaces (#252) * Add Proto version of package interfaces * Test interface parsing * fix generation bugs, plumb support to Main, but not PackageMap * fix bazel build

fix generation bugs, plumb support to Main, but not PackageMap

2019-05-15

Add Proto version of package interfaces

Add conversion to and from protobuf for Type (#250) * Add conversion to and from protobuf for Type * fix the bazel build

Add conversion to and from protobuf for Type