Skip to content

Initial models #134

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

Open
olynch wants to merge 31 commits into
base: main
Choose a base branch
from
Open

Initial models #134

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
a6aff04
checkpoint
olynch Aug 17, 2026
bb4e7fb
crazy refactor
olynch Aug 19, 2026
9be8ed4
output views by caching definitions
olynch Aug 20, 2026
f4b0f7b
flattening
olynch Aug 20, 2026
4ba3318
flatten for realm components
olynch Aug 20, 2026
7f81b54
fixed elaborator, commented out ts gen
olynch Aug 20, 2026
269065d
formatting
olynch Aug 20, 2026
3027b5f
separate for Generators, plumb HLevel down to SIR
mvr Aug 20, 2026
2191f93
stuff
olynch Aug 21, 2026
13c3cb6
saving version with direct injection into query params
olynch Aug 24, 2026
fb8a487
replaced Extern with Param, removed type param
olynch Aug 24, 2026
f3869dc
Freshen names in more places
mvr Aug 25, 2026
caa3ddd
Function `intro` should store domain type not full type
mvr Aug 25, 2026
d6b5179
Make `flattenRule` respect `ctxSide` for the input preconditions
mvr Aug 25, 2026
f432214
Separate `Lookup` args under one more binder
mvr Aug 25, 2026
fa09a3e
Mark `foreignKey` rule as such
mvr Aug 25, 2026
354ab15
Give result column a name, fix de Bruijn issue
mvr Aug 25, 2026
1598c13
generate mostly works
olynch Aug 25, 2026
e901ba3
FLIR generation and output plus format pass
Aug 28, 2026
8c20a9b
sketch of algorithm for layout of initial models
olynch Aug 28, 2026
323c7a6
FLIR pretty printing
Aug 31, 2026
1f017fd
Merge branch 'layout-view' into layout-init
Sep 4, 2026
3b95664
primitive queries
olynch Sep 4, 2026
994dbb3
full pipeline
Sep 7, 2026
5fad573
rpc using WireValue
olynch Sep 3, 2026
0a59694
store hashes as hex strings
olynch Sep 4, 2026
eeddd2b
sketch out the interface
olynch Sep 4, 2026
a535eaa
formatting and clippy fixup
olynch Sep 7, 2026
470c4a8
fix licenses
olynch Sep 7, 2026
d055fe7
Merge branch 'main' into layout-init
olynch Sep 7, 2026
7b389d6
Merge branch 'json-values' into layout-init
olynch Sep 7, 2026
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
66 changes: 66 additions & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 3 additions & 0 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@ members = [
"packages/coln-query",
"packages/coln-integrator",
"packages/coln-batch",
"packages/coln-batch",
"packages/coln-rpc"
]
resolver = "3"

Expand All @@ -22,6 +24,7 @@ anyhow = "1.0.102"
criterion = "0.8.2"
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0.149"
specta = { version = "2.0.0-rc.25", features = ["derive"] }
thiserror = "2.0.18"
tracing = "0.1"
tracing-subscriber = { version = "0.3", features = ["env-filter", "fmt"] }
25 changes: 21 additions & 4 deletions packages/coln-compiler/coln-compiler.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,6 @@ build-type: Simple

library
exposed-modules:
Coln.Backend.IR
Coln.Backend.Lower
Coln.Backend.TypeScript.AST
Coln.Backend.TypeScript.Assemble
Coln.Backend.TypeScript.Generate
Expand All @@ -21,7 +19,6 @@ library
Coln.Core.Conversion
Coln.Core.Evaluation
Coln.Core.Globals
Coln.Core.Layout
Coln.Core.Memoed
Coln.Core.Params
Coln.Core.Print
Expand All @@ -42,12 +39,31 @@ library
Coln.Elaborator.Rules.Record
Coln.Elaborator.Rules.Universe
Coln.Elaborator.Rules.Variable
Coln.FLIR.Flatten
Coln.FLIR.Top
Coln.FLIR.Value
Coln.Frontend.Diagnostics
Coln.Frontend.Notation
Coln.Frontend.Parser
Coln.Frontend.Parser.Expr
Coln.Frontend.Parser.Top
Coln.MIR.Evaluation
Coln.MIR.Interpret
Coln.MIR.Layout
Coln.MIR.Memoed
Coln.MIR.Params
Coln.MIR.Readback
Coln.MIR.Realm
Coln.MIR.Syntax
Coln.MIR.Top
Coln.MIR.Value
Coln.Report
Coln.SIR.Cache
Coln.SIR.Realm
Coln.SIR.Separate
Coln.SIR.Syntax
Coln.SIR.Top
Coln.Top

hs-source-dirs: src
default-language: GHC2024
Expand Down Expand Up @@ -92,6 +108,7 @@ library
filepath,
fnotation,
hashable,
keys,
mtl,
ordered-containers,
prettyprinter,
Expand Down Expand Up @@ -142,7 +159,7 @@ test-suite coln-compiler-test
fnotation,
ordered-containers,
prettyprinter,
tasty,
tasty ^>=1.5.4,
tasty-expected-failure,
tasty-golden,
tasty-hunit,
Expand Down
Loading
Loading