Ahmad Salim Al-Sibahi issues

Repositories
Issues
Comments

Results 2 issues of


                                            Ahmad Salim Al-Sibahi

Lack of semantic highlighting of impossible clauses

Function definition clauses which use impossible seem to lack semantic highlight (and syntax highlighting of the impossible keyword). See also https://github.com/idris-lang/Idris-dev/issues/2347.

bug

confirmed

Internal contract violation when using `generate-term` that should satisfy a target judgement

I am currently trying to implement Featerweight Java in PLT Redex, and I am getting the following error: ``` [...]/generate-term.rkt:825:9: error: contract violation expected: (or/c string? symbol?) given: # argument...