issues
search
ch-systems
/
petr
the petr programming language -- Programmable Effects TRacking
https://playground.petr.sh
5
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
rewrite below rules
#151
sezna
opened
1 month ago
0
remove clone
#150
sezna
opened
1 month ago
0
this rule feels incorrect. A literal being unified to the parent type
#149
sezna
opened
1 month ago
0
decide if user-defined types should be able to safely upcast, or if only
#148
sezna
opened
1 month ago
0
get span for type annotation instead of just the name of the parameter
#147
sezna
opened
1 month ago
0
better errors here
#146
sezna
opened
1 month ago
0
Type System Tracking Issue
#145
sezna
opened
1 month ago
0
Update README.md
#144
sezna
closed
1 month ago
0
Specific Type Formalization
#143
sezna
closed
1 month ago
1
make this petr type instead of typevariable
#142
sezna
opened
1 month ago
0
these should be boxed slices, as their size is not changed
#141
sezna
opened
1 month ago
1
deduplicate module export logic with above func
#140
sezna
opened
1 month ago
0
don't create an ID and then reference it -- this is messy
#139
sezna
opened
1 month ago
0
The unify constraint should attempt to upcast `t2` as `t1` if possible, but will never
#138
sezna
closed
1 month ago
1
for all insert_ functions, return an error on overriding of names instead of
#137
sezna
opened
1 month ago
0
intern these strings and use an ID
#136
sezna
opened
1 month ago
0
Better error message on failed type parse
#135
sezna
opened
1 month ago
0
Introduce constant variable value types
#134
sezna
closed
1 month ago
0
Constant Value Types
#133
sezna
opened
1 month ago
0
document [ExprId] system
#132
sezna
opened
1 month ago
0
If expressions, `@equals` intrinsic, basic `List` codegen, and other associated changes
#131
sezna
closed
1 month ago
1
Format unit (`()`) into ε (epsilon) similar to `returns` becoming right arrow and `in` becoming set-inclusion
#130
sezna
opened
1 month ago
0
support partial application
#129
sezna
opened
1 month ago
0
other expr kinds like bindings
#128
sezna
opened
1 month ago
0
Formalize monomorphization in type system; Add size_of intrinsic
#127
sezna
closed
1 month ago
1
remove dependabot
#126
sezna
closed
1 month ago
0
Various updates required for publishing to crates.io
#125
sezna
closed
1 month ago
1
Bump clap from 4.5.8 to 4.5.10
#124
dependabot[bot]
closed
1 month ago
2
Bump cranelift-object from 0.108.1 to 0.110.1
#123
dependabot[bot]
closed
1 month ago
2
Bump cranelift from 0.108.1 to 0.110.1
#122
dependabot[bot]
closed
1 month ago
2
Bump cranelift-native from 0.108.1 to 0.110.1
#121
dependabot[bot]
closed
1 month ago
2
Bump cranelift-module from 0.108.1 to 0.110.1
#120
dependabot[bot]
closed
1 month ago
2
remove comment
#119
sezna
closed
1 month ago
0
`@size_of` intrinsic
#118
sezna
closed
1 month ago
0
Format `returns` into `→`
#117
sezna
opened
1 month ago
0
Switch `function` keyword to `fn`; use semicolons for let decls; fix numerous panics in wasm playground
#116
sezna
closed
1 month ago
1
:
#115
sezna
opened
1 month ago
2
check if type already exists and return that ID instead
#114
sezna
opened
1 month ago
0
The cloning of the below iterators (`functions` and `types`) is not ideal.
#113
sezna
opened
1 month ago
0
Handle the error case where the field type could not be resolved
#112
sezna
opened
1 month ago
0
Parser "map" function which takes a list of tokens and auto-populates the `ExpectedOneOf` error, maybe with a help message
#111
sezna
opened
1 month ago
0
would be nice to format types and type fields as such
#110
sezna
opened
1 month ago
0
deduplicate monomorphized functions
#109
sezna
closed
1 month ago
1
Bump thiserror from 1.0.61 to 1.0.63
#108
dependabot[bot]
closed
1 month ago
2
Bump toml from 0.8.14 to 0.8.15
#107
dependabot[bot]
closed
1 month ago
2
Bump blake3 from 1.5.1 to 1.5.3
#106
dependabot[bot]
closed
1 month ago
2
Bump thiserror from 1.0.61 to 1.0.62
#105
dependabot[bot]
closed
1 month ago
2
Bump blake3 from 1.5.1 to 1.5.2
#104
dependabot[bot]
closed
1 month ago
2
Bump clap from 4.5.8 to 4.5.9
#103
dependabot[bot]
closed
1 month ago
2
Bump serde from 1.0.203 to 1.0.204
#102
dependabot[bot]
closed
1 month ago
2
Next