Zilin Chen
Zilin Chen
Need to check whether cabal-3.0+ installs libgum correctly.
I would recommend: 1. The script will run a default set of tests when no argument is given. Currently some `-p DIR` argument has to be given in order not...
Current Status --------------------------------- On `master` branch, the array implementation is bit-rotted, but it's behind a compiler flag `-builtin-arrays` so it doesn't affect the compilation when disabled. It implemented unboxed arrays,...
### 1 Run several tests at once. It requires extending the `--only` flag. ### 2 When the expected result is `wip`, the log doesn't tell me if the test has...
Description ----------------------------------------- Cogent's type system is structural, meaning that two types that are structurally the same are considered definitionally equal. Types don't have names, as in a nominal type system;...
With 948032e8d1, we have a font set for `cogent`. Need to use it in my part of the docs.
Description -------------------------------------------------- For some reason, we want to rewrite our surface syntax parser, and also take this opportunity to revise our surface syntax.
Description ------------------------------------------- The surface typechecker is mainly comprised of a constraint generator and a solver. We want to formalise these two components and prove important properties about them. Note that...
**Issue by [lim060](https://github.csiro.au/lim060)** _Thu Jul 23 17:29:30 2015_ _Originally opened as https://github.csiro.au/ts-filesystems/Cogent/issues/92_ ---- The current implementation of ANF creates severe problems with code size. It floats out `If`s and `Case`s,...
# Synopsis ## The Problem In a nutshell, if there's a function whose type includes a `forall` quantified type variable `a` (for example) and `a!` appears in the type signature,...