Diego Rosario

Grin is still not anywhere near from needing anything other than a basic GC, right? Taking that into account i wanted to reuse the existing code generation for the minimal...

@luc-tielen I dont think Grin needs to parse llvm. Would using your library be a closer to rewriting the code gen or be a more plug and play change? If...

Kickass, then i could try to port GRIN to use that library. Btw here is the current code : https://github.com/csl-club/Idris2-Grin That repo contains both the idris2 backend and a GRIN...

@luc-tielen Could you upload your llvm library to stackage?

@csabahruska I am attempting to upgrade Grin's dependencies, but the package "infix functor" doesnt compile with modern stackage versions and hasnt been updated since 2017

Thanks csaba. I have kept updating the dependencies and found out there is a current llvm hs fork that is trying to get merged . https://github.com/llvm-hs/llvm-hs/pull/430 We should be able...

@luc-tielen Given you seem to be an expert on llvm, could i ask you some questions privately about it? The point is learn how to best use it, or whether...

Hi Olle, I'm seeking clarification on a couple of points: When you refer to "type," are you indicating something akin to the 'a' in the data declaration data List a...

Thanks, i get i now. Since you are exploring new memory layouts, You may want to look into bit stealing. A 64 bit Pointer typically has 3 redundant LSB and...

I think you could also use "subspaces" . Kind of memory regions that can only store objects of a single type, thus some data becomes implicit Which of the methods...