Hiromi Ishii comments

Results 42 comments of


                                            Hiromi Ishii

Make splice plugin compatible with GHC 9.2

Thank you for the tough work! I'm a bit busy these days, but will review the changes to Splice Plugin until this weekend. I have no idea as for failure...

Prebuilt dynamic binary won't work with stack-based project(s) on Linux

Ah, I was aware of the missing profiling library in GHC 9.0.2, but am not aware the release of the corrected version. I'm curious whether stack will re-install GHC 9.0.2-a...

Prebuilt dynamic binary won't work with stack-based project(s) on Linux

> think you can also configure stack to download the 9.0.2a version manually if it doesn't automatically do so: https://docs.haskellstack.org/en/stable/yaml_configuration/#setup-info-locations Aha, that makes sense! It seems that stack won't use...

Prebuilt dynamic binary won't work with stack-based project(s) on Linux

I confirmed that specifying `setup-info` properly in `~/.stack/config.yaml` (and compiling everything from the ground up) works with the prebuilt dynamic binary! I would remain this issue open (as no permanent...

Displayed maths in +proof collapse in some cases

A bit context: I typeset the code below: ```saty @require: stdjareport @require: math document (| title = {あああああ}; author = {mr_konn}; date = {2022/04/23}; |) '< +chapter{あああああ}< +proof{ ううううううう \eqn(${x...

Curly braces too curly in math mode

@JoostScheffer This repo is for SATySFi, not LaTeX. SATySFi is completely different from LaTeX (even from TeX), and is statically typed functional type-setting system. Slightly detailed explanation of the project...

Nested partial application of polymorphic functions results in Stack Overflow at compile time

Oh, I forgot to mention the third case. * Uncommenting `val pp-thing-dummy` together with the other two, compile still fails.

Cannot build a binary using c2hs

@mboes Is there any update on this? I'm also suffering from this issue (spoiler: I and @Lugendre are working at the same team).

Support Wingman on ghc 9.2

> The latter is a little worrisome (see https://github.com/haskell/haskell-language-server/commit/18a89965e4b161c72824f013328d5212a36d30ea), but I don't see any particular reason it would be failing; I didn't run it against HEAD to find out if...

Conditionally built module are not loaded if Cabal disables them and stack.yaml reenables them with stack (revisit after commercialhaskell/stack#5480)

It seems that if we use `cabal` with `cabal.project` instead of `stack`, the problem disappears. This can be checked with [cabal](/konn/hls-conditional-modules/tree/cabal) branch. And if we disable flag in cabal.project, it...