Ohad Kammar

Add support for environment variables

2

Commands can expect environment variables to be set, and these are available to the handler. The environment variables can be typed, and will be parsed before being handed to the...

Compiler crashes with assertion when constraining instances of an implicit functor

3

With the attached file [path_error.ml.txt](https://github.com/ocamllabs/ocaml-modular-implicits/files/1289753/path_error.ml.txt) the following crashes: ``` $ ocamlbuild -use-ocamlfind path_error.byte ocamlfind ocamldep -modules path_error.ml > path_error.ml.depends ocamlfind ocamlc -c -o path_error.cmo path_error.ml + ocamlfind ocamlc -c -o...

[feature request] support `latest` switch for option -p

2

We can currently specify specific package collections using the `-p` option to `pack`. It would be nice to also support `latest` and `fetch-latest` as options, as we do for `pack.toml`...

Incorrect coverage checking with pattern containing %search

4

# Steps to Reproduce ```idris import Data.List import Data.List.Elem import Decidable.Decidable import Decidable.Equality %default covering toWitness : (prf1 : Dec a) -> IsYes prf1 -> a toWitness (Yes prf2) x...

Split `public export` into `public` and `export`

4

- [X] I have read [CONTRIBUTING.md](../../CONTRIBUTING.md). - [X] I have checked that there is no existing PR/issue about my proposal. ## Summary Introduce a new access modifier, `public` which means...