Vilem Liepelt
Vilem Liepelt
I'm sure this is a silly mistake on my part, but `nix-shell ghc.nix` is failing with the output below (omitting the successful packages): ``` Preprocessing test suite 'tests' for happy-1.19.11.....
Sorry in advance for opening this issue here, feel free to close it if inappropriate. It would be very nice if we could teach autocomplete-plus Agda's notion of what an...
``` Illegal kind signature: ‘ghc-prim-0.5.1.1:GHC.Types.Type’ Perhaps you intended to use KindSignatures In the type signature for ‘cataProp’ | 40 | $(makeCata defaultOptions { cataName = "cataProp" } ''Proposition) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
``` $ cat repro.hs -- comment {-# LANGUAGE FlexibleContexts, FlexibleInstances #-} module Foo where $ ormolu -c repro.hs -- comment {-# LANGUAGE FlexibleContexts #-} -- comment {-# LANGUAGE FlexibleInstances #-}...
``` $ cat repro.hs foo = case x of _ -> 1 -- comment where x = 1 $ ormolu -c repro.hs repro.hs @@ -1,6 +1,7 @@ foo = case...
``` $ cat repro.hs foo = case a of b -- comment -> c $ ormolu -c repro.hs repro.hs @@ -1,3 +1,4 @@ foo = case a of - b...
Hi! I'm working through the Rust Book for the first time and I noticed that Cargo supports `cargo add` now. Maybe worth adding that to the book? ## Progress -...
To successfully build Idris2 and run the tests, I had to set some environment variables, see also [this](https://discord.com/channels/827106007712661524/836186747632091148/1027971022865051679) discussion on Discord. For the benefit of others, I think it makes...
When I run the [final webserver project](https://doc.rust-lang.org/book/ch20-03-graceful-shutdown-and-cleanup.html#signaling-to-the-threads-to-stop-listening-for-jobs), exactly as given in the book, it deadlocks for me. My setup is running the server in one shell and the following loop...