Jan Mas Rovira
Jan Mas Rovira
The library is not currently maintained. See [this comment](https://github.com/hdgarrood/aeson-better-errors/pull/25#issuecomment-1893877988). > I don't have bandwidth to help maintain this project at the moment. Perhaps one of the other people who have...
One option is to add an `Output` effect to the pipeline where we emit all relevant warnings during compilation. We can discuss what warnings we'd like to see, how to...
- Depends on #2351. Suggested Juvix implementation: ``` trait type Functor (F : Type -> Type) := mkFunctor {fmap : {A B : Type} -> (A -> B) -> F...
Currently only `Concrete` syntax can be printed faithfully to what the user wrote. - In many parts of the compiler we need to print `Internal` and `Core` (to a lesser...
Since the constructor `HaskelineT` is not exported, something like `mapHaskelineT` is needed to somehow interact with the underlying monad. For instance, in order to implement `local` for the `MonadReader` instance,...
This PR adds a variation of `mapInputT` that only works on the unit type. ``` mapInputT_ :: (m () -> m ()) -> InputT m () -> InputT m ()...
- Contributes to #2750 # New commands: 1. `dev import-tree scan FILE`. Scans a single file and lists all the imports in it. 2. `dev import-tree print`. Scans all files...
The first step towards #2749, is to build the import tree during the setup phase. The strategy is to create a fast parser that scans all import statements in a...