issues
search
mlabs-haskell
/
lambda-buffers
LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29
stars
0
forks
source link
Rust's phantom handling fixes
#239
Closed
bladyjoker
closed
1 month ago
bladyjoker
commented
1 month ago
DONE
[x] Record TyDef printing adds
pub
to phantom record fields
[ ] Phantom analysis bug fix is still unresolved (
https://github.com/mlabs-haskell/lambda-buffers/issues/237
)
DONE
pub
to phantom record fields