Ben Gamari
Ben Gamari
I was surprised to find that this program fails to typecheck with Thoralf: ```haskell {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE DataKinds #-}...
Currently it seems that there is no way to convince Cabal to build libraries in the `dyn_p` way. This renders it impossible to build projects which have plugin build dependencies...
As far as I can tell `cabal new-build` no longer produces log files for local package builds. For instance, ``` $ git clone https://github.com/haskell-hvr/cabal-plan $ cd cabal-plan $ cabal new-build...
This program: ```haskell {-# LANGUAGE MagicHash #-} module Hello where import Clash.Annotations.BitRepresentation import Clash.Prelude data Animal = Turtle | Wombat | Bear deriving (Eq) {-# ANN module (DataReprAnn $(liftQ [t|Animal|])...
**Describe the bug** In https://github.com/haskell/text/issues/487 we noticed that there is no robust way to force `cabal-install` to reinstall a pre-existing library when flags are changed. In this case this means...
This requires https://github.com/haskell-hint/hint/pull/176.
If one writes `nameHint (SSym @"hi") ...` there is a good chance that GHC's `unpack` rewrite rule will rewrite the `String` in the term-level evidence carried by `SSym` (which is...
Hard-coded stringy names are problematic, especially in GHC 9.10.1 due to the `ghc-internal` rewrite. Some occurrences were handled in https://github.com/clash-lang/clash-compiler/commit/e565d26e4db898c4a6cb0abb98276535a1b0058b, but there are quite a few more in `Clash.GHC.Evaluator.Primitive` (c.f....
This is a first attempt at implementing a `--number-figures` option for HTML output (https://github.com/jgm/pandoc/issues/615). This is a first step towards allowing figure references within a document (#813). There are a...
`builtins.addErrorContext` is mentioned in the 0.13 changelog section of the Nix manual, but nowhere else.