Ecosyste.ms: Issues

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

GitHub / tchajed/coq-record-update issues and pull requests

#50 - flake support

Pull Request - State: closed - Opened by sertel 6 months ago - 2 comments

#50 - flake support

Pull Request - State: closed - Opened by sertel 6 months ago - 2 comments

#48 - docs(readme): clarify different use cases: setting vs updating

Pull Request - State: closed - Opened by sanjit-bhat 8 months ago - 1 comment

#48 - docs(readme): clarify different use cases: setting vs updating

Pull Request - State: closed - Opened by sanjit-bhat 8 months ago - 1 comment

#47 - Fix large record field types blowing up search for SetterWf instance

Pull Request - State: closed - Opened by Nils-Lauermann 11 months ago - 2 comments

#47 - Fix large record field types blowing up search for SetterWf instance

Pull Request - State: closed - Opened by Nils-Lauermann 11 months ago - 2 comments

#46 - Search for SetterWf Instance takes ages and uses all the memory

Issue - State: closed - Opened by Nils-Lauermann 11 months ago - 10 comments

#46 - Search for SetterWf Instance takes ages and uses all the memory

Issue - State: closed - Opened by Nils-Lauermann 11 months ago - 10 comments

#45 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

Issue - State: closed - Opened by rtetley 11 months ago - 2 comments

#45 - Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01

Issue - State: closed - Opened by rtetley 11 months ago - 2 comments

#44 - Release for Coq 8.19?

Issue - State: closed - Opened by MackieLoeffel about 1 year ago - 2 comments

#44 - Release for Coq 8.19?

Issue - State: closed - Opened by MackieLoeffel about 1 year ago - 2 comments

#43 - Update to Coq 8.19.0

Pull Request - State: closed - Opened by MackieLoeffel about 1 year ago - 1 comment

#43 - Update to Coq 8.19.0

Pull Request - State: closed - Opened by MackieLoeffel about 1 year ago - 1 comment

#42 - Update .gitignore

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

#42 - Update .gitignore

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

#41 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

Issue - State: closed - Opened by rtetley over 1 year ago - 3 comments

#41 - Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

Issue - State: closed - Opened by rtetley over 1 year ago - 3 comments

#40 - Add export attribute to all instances

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

#40 - Add export attribute to all instances

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

#39 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03

Issue - State: closed - Opened by MSoegtropIMC almost 2 years ago - 7 comments

#39 - Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03

Issue - State: closed - Opened by MSoegtropIMC almost 2 years ago - 7 comments

#38 - Update .gitignore

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

#38 - Update .gitignore

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

#37 - Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09

Issue - State: closed - Opened by MSoegtropIMC over 2 years ago - 2 comments

#37 - Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09

Issue - State: closed - Opened by MSoegtropIMC over 2 years ago - 2 comments

#36 - Incompatible with coq 8.15.2?

Issue - State: closed - Opened by SnarkBoojum over 2 years ago - 2 comments

#36 - Incompatible with coq 8.15.2?

Issue - State: closed - Opened by SnarkBoojum over 2 years ago - 2 comments

#35 - Adapt to coq/coq#16130

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

#35 - Adapt to coq/coq#16130

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

#34 - Setter cannot be inferred

Issue - State: open - Opened by rhz almost 3 years ago

#34 - Setter cannot be inferred

Issue - State: open - Opened by rhz almost 3 years ago

#33 - Record not being updated, what I'm doing wrong?

Issue - State: closed - Opened by dhilst almost 3 years ago - 2 comments

#33 - Record not being updated, what I'm doing wrong?

Issue - State: closed - Opened by dhilst almost 3 years ago - 2 comments

#31 - Support for primitive projections

Issue - State: open - Opened by clarus about 3 years ago - 4 comments

#31 - Support for primitive projections

Issue - State: open - Opened by clarus about 3 years ago - 4 comments

#29 - Update .gitignore with .coq-native

Pull Request - State: closed - Opened by JasonGross about 3 years ago - 4 comments

#29 - Update .gitignore with .coq-native

Pull Request - State: closed - Opened by JasonGross about 3 years ago - 4 comments

#28 - Adapt to coq/coq#15174 (Fail prints locs in test mode)

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

#28 - Adapt to coq/coq#15174 (Fail prints locs in test mode)

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

#27 - add record-style update syntax

Pull Request - State: open - Opened by simongregersen over 3 years ago

#27 - add record-style update syntax

Pull Request - State: open - Opened by simongregersen over 3 years ago

#26 - Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11

Issue - State: closed - Opened by MSoegtropIMC over 3 years ago - 5 comments

#26 - Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11

Issue - State: closed - Opened by MSoegtropIMC over 3 years ago - 5 comments

#25 - Allow coq 8.14 in opam file

Pull Request - State: closed - Opened by MackieLoeffel over 3 years ago - 4 comments

#25 - Allow coq 8.14 in opam file

Pull Request - State: closed - Opened by MackieLoeffel over 3 years ago - 4 comments

#24 - Published version of coq-record-update cannot be used with coq 8.13

Issue - State: closed - Opened by MackieLoeffel over 3 years ago - 2 comments

#24 - Published version of coq-record-update cannot be used with coq 8.13

Issue - State: closed - Opened by MackieLoeffel over 3 years ago - 2 comments

#23 - Adapt to Coq PR #14596: The "Arguments" line is now always printed with Print/About

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

#23 - Adapt to Coq PR #14596: The "Arguments" line is now always printed with Print/About

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

#22 - Patch to use `$(MAKE)` instead of `make`.

Pull Request - State: closed - Opened by jtmcx over 3 years ago - 1 comment

#22 - Patch to use `$(MAKE)` instead of `make`.

Pull Request - State: closed - Opened by jtmcx over 3 years ago - 1 comment

#21 - coq 8.13 support

Issue - State: closed - Opened by vzaliva almost 4 years ago - 3 comments

#21 - coq 8.13 support

Issue - State: closed - Opened by vzaliva almost 4 years ago - 3 comments

#20 - Add .gitattributes

Pull Request - State: closed - Opened by JasonGross almost 4 years ago - 1 comment

#20 - Add .gitattributes

Pull Request - State: closed - Opened by JasonGross almost 4 years ago - 1 comment

#19 - Obtaining eta expansion of constructor without typeclasses

Issue - State: open - Opened by samuelgruetter almost 4 years ago - 1 comment

#19 - Obtaining eta expansion of constructor without typeclasses

Issue - State: open - Opened by samuelgruetter almost 4 years ago - 1 comment

#18 - Add some Ltac to autogenerate Settable

Pull Request - State: open - Opened by JasonGross about 4 years ago

#18 - Add some Ltac to autogenerate Settable

Pull Request - State: open - Opened by JasonGross about 4 years ago

#17 - [WIP] Dependent field updates?

Pull Request - State: open - Opened by samuelgruetter about 4 years ago - 2 comments

#17 - [WIP] Dependent field updates?

Pull Request - State: open - Opened by samuelgruetter about 4 years ago - 2 comments

#16 - add .gitattributes

Pull Request - State: closed - Opened by samuelgruetter about 4 years ago - 3 comments

#16 - add .gitattributes

Pull Request - State: closed - Opened by samuelgruetter about 4 years ago - 3 comments

#15 - make COQPATH compatible

Issue - State: open - Opened by samuelgruetter about 4 years ago

#15 - make COQPATH compatible

Issue - State: open - Opened by samuelgruetter about 4 years ago

#14 - precedence between application and record update?

Issue - State: open - Opened by samuelgruetter over 4 years ago

#14 - precedence between application and record update?

Issue - State: open - Opened by samuelgruetter over 4 years ago

#13 - set should be printed as set, not as update

Issue - State: closed - Opened by samuelgruetter over 4 years ago - 2 comments

#13 - set should be printed as set, not as update

Issue - State: closed - Opened by samuelgruetter over 4 years ago - 2 comments

#12 - Relationship to Lenses?

Issue - State: open - Opened by gmalecha over 4 years ago - 3 comments

#12 - Relationship to Lenses?

Issue - State: open - Opened by gmalecha over 4 years ago - 3 comments

#11 - fix opam and dune files, update meta.yml

Pull Request - State: closed - Opened by palmskog over 4 years ago - 3 comments

#11 - fix opam and dune files, update meta.yml

Pull Request - State: closed - Opened by palmskog over 4 years ago - 3 comments

#10 - Fails if a field is named "x".

Issue - State: closed - Opened by richardlford over 4 years ago - 1 comment

#10 - Fails if a field is named "x".

Issue - State: closed - Opened by richardlford over 4 years ago - 1 comment

#9 - Add notation for nested updates

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

#8 - Unfold 'constructor' more aggressively

Pull Request - State: closed - Opened by jakobbotsch over 5 years ago - 1 comment

#8 - Unfold 'constructor' more aggressively

Pull Request - State: closed - Opened by jakobbotsch over 5 years ago - 1 comment

#7 - Notation for nested record updates

Issue - State: closed - Opened by jakobbotsch over 5 years ago - 1 comment

#7 - Notation for nested record updates

Issue - State: closed - Opened by jakobbotsch over 5 years ago - 1 comment

#6 - Add install target to Makefile

Issue - State: closed - Opened by anton-trunov over 5 years ago - 2 comments

#5 - It is easy to accidentally pass getters incorrectly

Issue - State: closed - Opened by joonazan almost 6 years ago - 1 comment

#4 - Interaction with ListNotations

Issue - State: closed - Opened by vmurali almost 6 years ago - 3 comments

#2 - Parameter name influences ability to determine setters

Issue - State: closed - Opened by sethomsen over 6 years ago - 1 comment

#1 - Opam?

Issue - State: closed - Opened by spitters over 6 years ago - 19 comments