Diego Rosario

@noahmartinwilliams gekosaur over at haskell matrix shared me this : https://github.com/llvm-hs/llvm-hs/pull/430/files#diff-b3d9179aa3e178688f026cfd0bdefa247b227955c372f8dd4500d394ad559fe6L52-L55 https://github.com/llvm-hs/llvm-hs/pull/430/files#diff-893c0a5fbeabeeb9bc58bf002e9743c8b9b879a882171f674864daaa4dcc4fa5R152-R153

@noahmartinwilliams Please, could you share me your way of installing llvm from source? It seems other haskell llvm libraries have also lost the ability to rely on dynamic linking

@noahmartinwilliams Thanks for the command. It works on my end, but i replaced git checkout llvmorg-16.0.0 with git checkout llvmorg-16.0.6 After compiling llvm from source, this branch no longer complains...

> @GunpowderGuy Have you tried applying the patch @cassandracomar made? the old error is gone, but i get this one /Documents/other llvm/llvm-hs> stack build llvm-hs> configure (lib) llvm-hs> [1 of...

I gather this project allows to define both parsing and pretty printing for haskell data structures. With the same effort and ammount of code as just one of them. How...

I want to add that besides chez, gambit is the other scheme implementation with excellent performance. The author continues to add new optimizations and idris2 could benefit from this

@eayus Your work seems highly related to the feature available in F* that allows a subset of the language to be compiled to highly perfomant c code. I would be...