zaphar/ucg
1
0
Fork 0
mirror of https://github.com/zaphar/ucg.git synced 2025-07-22 18:19:54 -04:00
Code Issues Packages Projects Releases Wiki Activity
700 Commits 9 Branches 51 Tags
Commit Graph

700 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jeremy Wall
337b7c7203 feat: modules: Handle module args in let. 2025-07-21 18:32:45 -04:00
Jeremy Wall
ce928b7bd2 feat: let statement inference and also module defs 2025-07-21 18:32:45 -04:00
Jeremy Wall
188907d807 feat: Infer tuple field shapes from DOT operator 2025-07-21 18:32:45 -04:00
Jeremy Wall
54043e4dc9 feat: module type inference 2025-07-21 18:32:45 -04:00
Jeremy Wall
3a6a646e55 feat: tests and code to infer select expression shapes 2025-07-21 18:32:45 -04:00
Jeremy Wall
76f1f0dee6 refactor: Get rid of the unecessary PositionedItem 2025-07-21 18:32:45 -04:00
Jeremy Wall
d1e5d4129f feat: Properly handle closure logic in function inference. 2025-07-21 18:32:45 -04:00
Jeremy Wall
c7c26222fc tests: Expand our symbol inference test some more 2025-07-21 18:32:45 -04:00
Jeremy Wall
a14caa77c8 feat: Get rid of Empty in favor of Narrowed 
Infer symbol from expression it's used in.
 2025-07-21 18:32:45 -04:00
Jeremy Wall
902199fd98 feat: Handle narrowed and hole shapes for not 2025-07-21 18:32:45 -04:00
Jeremy Wall
b1d6571194 maint: Various cleanups and TODO stuff 2025-07-21 18:32:45 -04:00
Jeremy Wall
c88b5eaf84 refactor: Make DeriveShape trait 2025-07-21 18:32:45 -04:00
Jeremy Wall
a301ff7dfe refactor: Use Rc<str> instead of string 2025-07-21 18:32:45 -04:00
Jeremy Wall
b07147367c feat: Func shape derivation 2025-07-21 18:32:45 -04:00
Jeremy Wall
bdfa424545 feat: Tuple shape narrowing 2025-07-21 18:32:45 -04:00
Jeremy Wall
5835adbf7a feat: list shape narrowing 2025-07-21 18:32:45 -04:00
Jeremy Wall
46e55484dd refactor: another test helper macro 2025-07-21 18:32:45 -04:00
Jeremy Wall
3e8771476f feat: More Shape derivations 
Some BuildError bits as well.
 2025-07-21 18:32:45 -04:00
Jeremy Wall
0e93ffb27b feat: Typechecking: improving derive_shape 2025-07-21 18:32:45 -04:00
Jeremy Wall
9ab2ce2be5 maint: The macro usage for shapes was confusing 2025-07-21 18:32:45 -04:00
Jeremy Wall
9d419f9521 Fix format! in panic! warnings 2025-07-21 18:32:45 -04:00
Jeremy Wall
b5c1418e30 FEATURE: add Binary expression type derivation 2025-07-21 18:32:45 -04:00
Jeremy Wall
97c3a30973 FIX: visit_value and leave_value for lists and tuples 2025-07-21 18:32:45 -04:00
Jeremy Wall
44986be0f5 Walker that can type check a simple binary expression 2025-07-21 18:32:45 -04:00
Jeremy Wall
cac733eaea FIX: Bad path handling on unix platforms. 2025-07-21 18:32:45 -04:00
Jeremy Wall
6ddc830210 DEV: Some walker trait refactoring 
Enables chained visitors using the ChainedWalk implementation.
 2025-07-21 18:32:45 -04:00
Jeremy Wall
a3a7ce57ee DEV: The beginnings of some shape Derivation 2025-07-21 18:32:45 -04:00
Jeremy Wall
5ae4b91004 fix: nix builds after darwin update 2024-02-21 15:19:00 -05:00
Jeremy Wall
62a81134c0
Merge pull request #63 from zaphar/dependabot/cargo/unsafe-libyaml-0.2.10 
Bump unsafe-libyaml from 0.2.5 to 0.2.10
 2023-12-22 12:41:40 -05:00
dependabot[bot]
f1721072ad
Bump unsafe-libyaml from 0.2.5 to 0.2.10 
Bumps [unsafe-libyaml](https://github.com/dtolnay/unsafe-libyaml) from 0.2.5 to 0.2.10.
- [Release notes](https://github.com/dtolnay/unsafe-libyaml/releases)
- [Commits](https://github.com/dtolnay/unsafe-libyaml/compare/0.2.5...0.2.10)

---
updated-dependencies:
- dependency-name: unsafe-libyaml
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-12-21 18:24:21 +00:00
Jeremy Wall
25392e250e
Merge pull request #61 from zaphar/dependabot/cargo/rustix-0.36.16 
Bump rustix from 0.36.6 to 0.36.16
 2023-10-19 09:53:24 -04:00
dependabot[bot]
22660762df
Bump rustix from 0.36.6 to 0.36.16 
Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.36.6 to 0.36.16.
- [Release notes](https://github.com/bytecodealliance/rustix/releases)
- [Commits](https://github.com/bytecodealliance/rustix/compare/v0.36.6...v0.36.16)

---
updated-dependencies:
- dependency-name: rustix
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-18 18:46:43 +00:00
Jeremy Wall
7e8a962521 Pin serde 
This has to remain due to https://github.com/serde-rs/serde/issues/2538.
 2023-08-19 13:33:22 -04:00
Jeremy Wall
383addf48e MAINT: Bump version to v0.7.3 v0.7.3 2023-01-16 20:26:14 -05:00
Jeremy Wall
ca7347e164 Set Rust edition to 2021 2023-01-16 15:50:04 -05:00
Jeremy Wall
c59d25974a Update serde_yaml crate 2023-01-16 15:04:37 -05:00
Jeremy Wall
e1600b0ebe update base64 crate 2023-01-16 15:04:37 -05:00
Jeremy Wall
2c679759dc Update rustyline dependency 2023-01-16 15:04:36 -05:00
Jeremy Wall
229a1e379b Update dirs to 4.0 2023-01-16 15:04:36 -05:00
Jeremy Wall
b31ba760ce
Merge pull request #59 from zaphar/dependabot/cargo/regex-1.5.5 
Bump regex from 1.4.5 to 1.5.5
 2022-06-09 15:24:49 -04:00
Jeremy Wall
113eddb04c
Merge pull request #58 from zaphar/dependabot/cargo/crossbeam-utils-0.8.8 
Bump crossbeam-utils from 0.8.3 to 0.8.8
 2022-06-09 15:23:41 -04:00
Jeremy Wall
c86d086d2a
Merge pull request #57 from zaphar/dependabot/cargo/nix-0.20.2 
Bump nix from 0.20.0 to 0.20.2
 2022-06-09 15:22:14 -04:00
dependabot[bot]
b0a1e80574
Bump regex from 1.4.5 to 1.5.5 
Bumps [regex](https://github.com/rust-lang/regex) from 1.4.5 to 1.5.5.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.4.5...1.5.5)

---
updated-dependencies:
- dependency-name: regex
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-06 21:12:25 +00:00
dependabot[bot]
4044861d83
Bump crossbeam-utils from 0.8.3 to 0.8.8 
Bumps [crossbeam-utils](https://github.com/crossbeam-rs/crossbeam) from 0.8.3 to 0.8.8.
- [Release notes](https://github.com/crossbeam-rs/crossbeam/releases)
- [Changelog](https://github.com/crossbeam-rs/crossbeam/blob/master/CHANGELOG.md)
- [Commits](https://github.com/crossbeam-rs/crossbeam/compare/crossbeam-utils-0.8.3...crossbeam-utils-0.8.8)

---
updated-dependencies:
- dependency-name: crossbeam-utils
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-06 19:02:30 +00:00
dependabot[bot]
a5ce0b3e0e
Bump nix from 0.20.0 to 0.20.2 
Bumps [nix](https://github.com/nix-rust/nix) from 0.20.0 to 0.20.2.
- [Release notes](https://github.com/nix-rust/nix/releases)
- [Changelog](https://github.com/nix-rust/nix/blob/v0.20.2/CHANGELOG.md)
- [Commits](https://github.com/nix-rust/nix/compare/v0.20.0...v0.20.2)

---
updated-dependencies:
- dependency-name: nix
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-06 18:55:56 +00:00
Jeremy Wall
c0798513c7 nix flake 2022-05-14 16:46:02 -04:00
Jeremy Wall
1f25fa672f Add nix flake 2022-05-13 21:28:55 -04:00
Jeremy Wall
74f6cb89e5 DEV: Add integration test for the mod.pkg func 2021-08-22 21:10:08 -04:00
Jeremy Wall
b9ebffa6a3 Update crate dependencies to latest versions 2021-03-21 15:46:35 -04:00
Jeremy Wall
b50f72c182 MAINT: Bump version to v0.7.2 v0.7.2 2021-03-17 21:11:45 -04:00