mushrm88

The `--__no_positivity` option does not seem to work for interleaved modules in interactive mode

2

Due to #2840, for certain type definitions, I need to disable the positivity checker. I use the `--__no_positivity` flag for this. If I only have an `.fst` file, the option...

Type contructor alias + refinement causes type checking to fail in constructor

3

I have a constructor with a refinement type. I made an alias for a type constructor to make a complicated dependent type more readable but the alias seems to break...