search

miking-lang / miking

Miking - the meta viking: a meta-language system for creating embedded languages
Other
51 stars 31 forks source link

Update Futhark compilation #827

Closed larshum closed 8 months ago

larshum commented 8 months ago

This PR fixes bugs in the compilation of Futhark code and extends the Futhark AST representation with sizes of integer and floating-point literals and types.