Steve Dunham

My change breaks other stuff as well. It seems fine if I back off and only deal with `PConst`, but that doesn't solve the original issue. If I add type...

I added `free` in #2606

The issue is the float compare, this works around it, but maybe better to check if the floats are "close enough" to each other? ``` diff --git a/cg_utils.c b/cg_utils.c index...

Yeah, these are the real numbers coming back from the OS: ``` Available Modes on Display 1 640x [email protected] 1152x [email protected] [email protected] 640x [email protected] 1152x [email protected] [email protected] .... ```

There is `%defaulthint` and it looks like it is defined, but it doesn't seem to be triggering in this situation. Maybe because `Interpolation` is getting involved before Idris gives up...

Yeah, I needed both of these in the environment to build with the C backend on M1 macs: ``` export CPATH=/opt/homebrew/include:/opt/homebrew/lib export IDRIS2_LIBS=/opt/homebrew/lib ``` The `IDRIS2_LIBS` is needed for the...

Also `POp` needs to be handled. The desugaring for that one collects tokens, runs shunting yard to get a `Tree` and then `desugarTree` to get a bunch of `IApp`. The...

I meant to comment on that review, but accidentally hit resolve (I prefer to let the original reviewer resolve). The directives for all supplied codegen are stored in the ttc,...

The issue could be handled by moving the `optDocumentation` into the `option` for the module (both `prog` and `progHdr` need to match though). The problem with that is that it...

The original example in this issue is caused by the `IAlternative` for `()`. When the impossible clause is generated, the `IAlternative` for `Unit|MkUnit` is replaced by a pattern variable in...