Abhiroop Sarkar

Hello, Attempting to `stack build` this project throws the following error: ``` embeddedHaskellAetherling/src/Core/Aetherling/Interpretations/Backend_Execute/Test_Helpers.hs:232:27: error: Variable not in scope: test_json_dir :: [Char] | 232 | let test_file_prelude = test_json_dir ++ test_name...

Idris mode inferring unapplied function types

6

For example, I am attempting this basic example: ```idris plus_commutes_Z : m = plus m 0 plus_commutes_Z {m = Z} = Refl plus_commutes_Z {m = (S k)} = let rec...

Build a statically linked Haskell library with ghc-musl

5

Hello, I am attempting to statically link a Haskell library that exports a C API. But I get the following errors if I pass the `-optl-static` flag: ``` /usr/lib/gcc/x86_64-alpine-linux-musl/10.3.1/../../../../x86_64-alpine-linux-musl/bin/ld: /usr/lib/gcc/x86_64-alpine-linux-musl/10.3.1/crtbeginT.o:...

I am trying to run a Haskell application using SGX-LKL. I am able to create the disk image, however when I run it with ``` sgx-lkl-run-oe --hw-debug rootfs.img /foo ```...

Unable to parse `elem` segment

1

When parsing valid `wast` files, the parser currently is unable to parse wast files containing this variant of the elem segment string: ``` (elem (;0;) (i32.const 1) func 0) ```...

The first version of the Eta FFI Parser.

Unable to include the library in a project

2

I have a stack project which has the resolver `lts-13.14`. When I include `llvm-hs-quote` through the `stack.yaml` the build throws the following error: ``` Preprocessing library for llvm-hs-quote-0.1.0.0.. Building library...

I am trying to install bap. Firstly I tried installing it from the sources (opam install bap) and ran into this error: ``` [ERROR] The compilation of bap-std.2.5.0 failed at...

Links are mentioned as unidirectional

6

In chapter 3 of the tutorials, links are mentioned to be unidirectional. On the other hand, monitors are the ones which are actually unidirectional (at least in Erlang). Unidirectional in...