Skip to content

issues Search Results · repo:konn/equational-reasoning-in-haskell language:Haskell

Filter by

3 results
 (44 ms)

3 results

inkonn/equational-reasoning-in-haskell (press backspace or delete to remove)

konn/equational-reasoning-in-haskell
inaccurate version bounds in equational-reasoning-0.6.0.0

As can be seen at https://matrix.hackage.haskell.org/package/equational-reasoning@1549382814 the bounds for template-haskell seem to be inaccurate. Also, looking at the code, #if defined(__GLASGOW_HASKELL__) ...
  • hvr
  • 1
  • Opened 
    on Feb 6, 2019
  • #3

konn/equational-reasoning-in-haskell
withInhabited is incoherent

If I write data Foo = Bar | Baz instance Inhabited Foo where trivial = Bar withInhabited Baz trivial there is no guarantee about what the result will be, and it may depend on which optimizations ...
  • treeowl
  • 1
  • Opened 
    on Sep 7, 2017
  • #2

konn/equational-reasoning-in-haskell
Update for Singletons-1.0

The version on hackage compiles fine with singletons-1.0, the cabal file just needs to be updated.
  • crockeea
  • 1
  • Opened 
    on Jun 6, 2014
  • #1
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue search results · GitHub