Facundo Domínguez
Facundo Domínguez
A bunch of bindings using `capi` FFI were changed in #379 to use `ccall`instead. This does no checking of the types of the C functions which will cause undefined behavior...
When working on #172, the following error was found ``` Exception in thread "main" java.lang.UnsatisfiedLinkError: /private/var/folders/zz/zyxvpxvq6csfxvn_n0000000000000/T/sparkle-app-4130550189215234367/clodl-top0: dlopen(/private/var/folders/zz/zyxvpxvq6csfxvn_n0000000000000/T/sparkle-app-4130550189215234367/clodl-top0, 1): Library not loaded: @loader_path/libHSsparkle-lib-ghc9.0.2.dylib Referenced from: /private/var/folders/zz/zyxvpxvq6csfxvn_n0000000000000/T/sparkle-app-4130550189215234367/libHSappsZShelloZShello-hs-ghc9.0.2.dylib Reason: image not found at...
Support for linear types when working with streams needs to be implemented or worked-around to finish the conversion of the example from the unsafe to safe (linear) interface. This issue...
Calling `hs_exit()` sometimes produces [errors in CI](https://buildkite.com/tweag-1/sparkle/builds/153#01835baf-02df-4f5b-9a7d-df265eb11032/25-2331) like: ``` ^ �C: newBoundTask: RTS is not initialised; call hs_init() first ���� Error: The command exited with status 1 ``` I've tried...
Currently CI uses buildkite and CircleCI. CircleCI was kept to test `sparkle` on `darwin`. But github workflows now offers `darwin` as well. So at this point, we could simplify the...
#2303 adds a minimal test showing the problem. Currently, names in specifications are resolved multiple times. Name resolution determines for each name in a spec, what is the Haskell definition...
When a new version of GHC needs to be supported, breaking changes to the GHC API need to be resolved. In essence the process involves: 1. Navigating the GHC history...
`tests/pos/Map0.hs` has a function ```Haskell deleteFindMax t = case t of Bin _ k x l Tip -> (k, x, l) Bin _ k x l r -> let (km3,...
Currently, the only way to feed equations to PLE is by reflecting functions. This is a constraint that prevents entering equations from functions in dependencies unless these functions are reflected,...
The following test fails with: ```Haskell module Test where import GHC.Types {-@ reflect g @-} g :: Int -> Int g x | x > 0 = x | otherwise...