Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / edwinb/yaffle issues and pull requests

#35 - [ fix ] handling of `VCase` in `Core.Case.Builder.sameType`

Pull Request - State: open - Opened by AlgebraicWolf about 1 year ago

#33 - [ compat ] base now has quantity 0 for cong's argument

Pull Request - State: closed - Opened by gallais over 1 year ago - 1 comment

#32 - [ port ] Ignore `UseSide` annotation in non-linear as-patterns

Pull Request - State: closed - Opened by AlgebraicWolf over 1 year ago

#31 - [ total ] Make getters TCInline & add a test for getters producing a smaller value

Pull Request - State: open - Opened by buzden almost 2 years ago - 1 comment

#30 - make cond's default argument lazy

Pull Request - State: closed - Opened by kbertalan almost 2 years ago

#29 - [ port ] faithful implementation of size-change graph termination analysis

Pull Request - State: closed - Opened by mjustus almost 2 years ago - 3 comments

#28 - [ port ] fixes to the positivity checker

Pull Request - State: closed - Opened by gallais about 2 years ago

#27 - [ port #idris-lang/Idris2#2862 ] Respect totality annotations for data

Pull Request - State: closed - Opened by gallais about 2 years ago

#26 - [ port ] of PR #2837 - fix issue where at-patterns leak to RHS.

Pull Request - State: closed - Opened by dunhamsteve about 2 years ago - 1 comment

#25 - [ port ] of PR #2816 changing the elaboration of records

Pull Request - State: closed - Opened by gallais about 2 years ago

#24 - [ perf ] port Int->Integer in TTC state

Pull Request - State: closed - Opened by gallais about 2 years ago

#23 - [ bug ] INTERNAL ERROR: Cannot find builtin Equal

Pull Request - State: closed - Opened by gallais about 2 years ago - 2 comments

#22 - [ bug ] progress stopped on a unification issue

Pull Request - State: closed - Opened by gallais about 2 years ago

#21 - [ fix ] undo accidental change in linearity checker

Pull Request - State: closed - Opened by mjustus about 2 years ago - 1 comment

#20 - [ test ] linear context should be unaffected by case split

Pull Request - State: closed - Opened by mjustus about 2 years ago - 3 comments

#19 - [ bug ] ask and ye shall receive

Pull Request - State: closed - Opened by gallais about 2 years ago - 1 comment

#18 - [ typo ] in error message

Pull Request - State: closed - Opened by gallais about 2 years ago

#17 - [ broken ] accepted by idris2 --yaffle, failing with yaffle

Pull Request - State: closed - Opened by gallais about 2 years ago

#16 - [ broken ] `with` example

Pull Request - State: closed - Opened by gallais about 2 years ago

#15 - [ fix ] Strategy-based logic in the convGen

Pull Request - State: closed - Opened by gallais about 2 years ago

#14 - [ new ] Do not split on dotted expressions

Pull Request - State: closed - Opened by gallais over 2 years ago - 2 comments

#13 - Fix linearity checking of case splits and linear let-bindings

Pull Request - State: closed - Opened by mjustus over 2 years ago

#12 - [ fix ] print cases

Pull Request - State: closed - Opened by gallais over 2 years ago

#11 - Add a test with dependent case

Pull Request - State: closed - Opened by ohad over 2 years ago - 7 comments

#10 - Add GitHub Actions support

Pull Request - State: closed - Opened by yallop over 2 years ago - 4 comments

#9 - Fix quantity-checking of linear lambdas in non-linear contexts

Pull Request - State: closed - Opened by mjustus over 2 years ago - 1 comment

#8 - Add a test where lambda and pi differ in bound name

Pull Request - State: closed - Opened by mjustus over 2 years ago - 3 comments

#7 - Add a test with linear lambda in non-linear context

Pull Request - State: closed - Opened by mjustus over 2 years ago - 1 comment

#5 - Refactor Binder

Pull Request - State: closed - Opened by andrevidela over 2 years ago

#4 - Expand Core.Check.Support.matchVars with other cases

Pull Request - State: closed - Opened by ShinKage over 2 years ago - 1 comment

#3 - Switch the context from List to SnocList

Pull Request - State: closed - Opened by ShinKage over 2 years ago - 1 comment

#2 - Merge upstream src/Libraries

Pull Request - State: closed - Opened by dunhamsteve almost 3 years ago - 1 comment

#1 - Add indentation convention

Pull Request - State: closed - Opened by Z-snails almost 3 years ago - 1 comment