VictorCMiraldo/generics-mrsop issues and pull requests

#61 - Support for GHC >= 8.8

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

#60 - Rename Holes constructors; make it standard

Issue - State: open - Opened by VictorCMiraldo over 4 years ago - 1 comment

#59 - Candidate 2.3.0

Pull Request - State: closed - Opened by VictorCMiraldo almost 5 years ago

#58 - Bring back `ShowHO` and `EqHO` as we had before

Issue - State: closed - Opened by VictorCMiraldo almost 5 years ago - 3 comments

#57 - WIP: Adds support for type synonyms on the TH framework

Pull Request - State: closed - Opened by VictorCMiraldo about 5 years ago - 1 comment

#56 - Use `th-abstraction`

Issue - State: closed - Opened by serras about 5 years ago

#55 - Better Naming Framework for TH code

Issue - State: open - Opened by VictorCMiraldo about 5 years ago
Labels: enhancement, good first issue

#54 - Candidate 2.2

Pull Request - State: closed - Opened by VictorCMiraldo about 5 years ago

#53 - Updated changelog

Pull Request - State: closed - Opened by VictorCMiraldo about 5 years ago

#52 - Candidate 2.1.0

Pull Request - State: closed - Opened by VictorCMiraldo about 5 years ago

#51 - GHC 8.4.3 crashes with hs-elisp parser.

Issue - State: open - Opened by VictorCMiraldo about 5 years ago - 2 comments
Labels: compiler-issue

#50 - Bring Treefixes into mrsop.

Issue - State: closed - Opened by VictorCMiraldo about 5 years ago - 1 comment

#49 - Make Attribute Grammar combinators monadic

Issue - State: closed - Opened by VictorCMiraldo about 5 years ago - 1 comment

#48 - Hide examples from documentation

Issue - State: closed - Opened by VictorCMiraldo about 5 years ago

#47 - Can only derive one datatype per module

Issue - State: closed - Opened by arianvp over 5 years ago - 4 comments

#46 - small fixes to the release candidate

Pull Request - State: closed - Opened by VictorCMiraldo over 5 years ago

#45 - Candidate for 2.0.0

Pull Request - State: closed - Opened by VictorCMiraldo over 5 years ago

#44 - Slightly tweak Rep and Fix for pedagogical reasons

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

#43 - Drop Monad constraint on mapNPM and friends

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

#42 - Change Eq1 and Show1 names

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

#41 - Depend on sop-core

Issue - State: closed - Opened by arianvp almost 6 years ago - 14 comments
Labels: good first issue

#40 - demand-driven modifications from hs-digems

Pull Request - State: closed - Opened by VictorCMiraldo about 6 years ago - 1 comment

#39 - Use efficient indexed Sum from Oleg's Freer Monads paper

Issue - State: closed - Opened by arianvp about 6 years ago - 3 comments

#38 - Added pattern synonyms; removed GHC hack

Pull Request - State: closed - Opened by VictorCMiraldo about 6 years ago

#37 - Small changes and fixes

Pull Request - State: closed - Opened by VictorCMiraldo about 6 years ago

#36 - Fix is AnnFix

Pull Request - State: closed - Opened by arianvp about 6 years ago

#35 - Fix is AnnFix

Issue - State: closed - Opened by VictorCMiraldo about 6 years ago - 1 comment

#34 - Use Generic Generic Programming to avoid Template Haskell?

Issue - State: open - Opened by arianvp about 6 years ago - 2 comments

#33 - GHC 8.4.3 triggers GHC Bug during Haddock generations :(

Issue - State: closed - Opened by arianvp about 6 years ago - 3 comments
Labels: compiler-issue

#32 - TH Generates dupicate pattern synonyms if type is in AST multiple times

Issue - State: closed - Opened by arianvp about 6 years ago - 1 comment

#31 - Brought in annotated fixpoints

Pull Request - State: closed - Opened by VictorCMiraldo about 6 years ago

#30 - Fix the build and bumped version

Pull Request - State: closed - Opened by VictorCMiraldo about 6 years ago

#29 - Fixing issue #27

Pull Request - State: closed - Opened by VictorCMiraldo about 6 years ago

#28 - Implement Attribute Grammars

Issue - State: closed - Opened by arianvp about 6 years ago - 8 comments

#27 - Create pattern synonyms for `Tag` automatically

Issue - State: closed - Opened by arianvp about 6 years ago

#26 - Removed GHC-head from travis

Pull Request - State: closed - Opened by VictorCMiraldo about 6 years ago

#25 - Zippers over deep representaiton, and some extra utility functions

Pull Request - State: closed - Opened by arianvp about 6 years ago

#24 - Support GHC-head

Issue - State: closed - Opened by VictorCMiraldo about 6 years ago - 2 comments

#23 - WIP: Tree Prefixes are (very!) possible in Haskell

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

#22 - Support type synonyms in datatypes

Issue - State: closed - Opened by arianvp over 6 years ago - 5 comments

#21 - Better metadata interface

Pull Request - State: closed - Opened by VictorCMiraldo over 6 years ago

#20 - elimRep should carry an IsNat constraint

Issue - State: closed - Opened by arianvp over 6 years ago

#19 - HasDatatypeInfo not powerful enough to recursively analyse datatypes

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

#18 - WIP: Change show instance for Constr

Pull Request - State: closed - Opened by arianvp over 6 years ago - 1 comment

#17 - Custom opaque type universe added

Pull Request - State: closed - Opened by VictorCMiraldo over 6 years ago

#16 - Text is decomposed in parts, instead of treated as Konstant by deriveFamily

Issue - State: closed - Opened by arianvp over 6 years ago - 3 comments

#15 - Add Travis

Pull Request - State: closed - Opened by serras over 6 years ago - 1 comment

#14 - Version bump

Pull Request - State: closed - Opened by VictorCMiraldo over 6 years ago

#13 - Closing issue #12

Pull Request - State: closed - Opened by VictorCMiraldo over 6 years ago

#12 - Tuple in a datatype not supported.

Issue - State: closed - Opened by arianvp over 6 years ago

#11 - Logistic Changes

Issue - State: closed - Opened by VictorCMiraldo over 6 years ago

#10 - Latest Changes

Pull Request - State: closed - Opened by VictorCMiraldo over 6 years ago - 4 comments

#9 - Reformatting; made lines adhere to 80-char length

Pull Request - State: closed - Opened by VictorCMiraldo over 6 years ago

#8 - Add Show instances for `Rep`

Issue - State: closed - Opened by arianvp over 6 years ago - 3 comments

#7 - Flip Constr arguments so we can implement TestEquality

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

#6 - GHC Too Slow

Issue - State: open - Opened by VictorCMiraldo over 6 years ago - 38 comments
Labels: compiler-issue

#5 - Simple vs. Mutual Recursion

Issue - State: closed - Opened by serras over 6 years ago - 5 comments

#4 - [relevant to `victor-dev` branch only] Consistent Naming Effort

Issue - State: closed - Opened by VictorCMiraldo over 6 years ago

#3 - Use `cleveref`

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

#2 - Writing the paper

Issue - State: closed - Opened by VictorCMiraldo over 6 years ago - 3 comments

#1 - Shallow Conversion discussion

Issue - State: closed - Opened by VictorCMiraldo over 6 years ago - 12 comments

GitHub / VictorCMiraldo/generics-mrsop issues and pull requests