adamgundry/uom-plugin issues and pull requests

#101 - WIP: New design

Pull Request - State: open - Opened by adamgundry almost 2 years ago

#100 - Numeric types for conversions

Issue - State: open - Opened by adamgundry almost 2 years ago

#99 - Release 0.4.0.0

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

#98 - New design

Issue - State: open - Opened by adamgundry almost 2 years ago

#97 - Probable type soundness bug

Issue - State: open - Opened by adamgundry almost 2 years ago

#96 - Doctest tutorial on 9.0 and 9.4

Issue - State: open - Opened by adamgundry almost 2 years ago

#95 - Packaging definitions

Issue - State: open - Opened by adamgundry almost 2 years ago

#94 - Applying substitutions from givens

Issue - State: open - Opened by adamgundry almost 2 years ago

#93 - Update to GHC 9.x

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

#92 - Support 9.2 with only cmpType changes.

Pull Request - State: open - Opened by philderbeast almost 3 years ago - 2 comments

#91 - Removing showQuantity/myMass test case breaks solving.

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

#90 - Also build with stack against ghc-9.0.1.

Pull Request - State: closed - Opened by philderbeast about 3 years ago - 1 comment

#89 - Doctest, cannot set package flags with :seti; use :set

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

#88 - Standalone kind signatures

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

#87 - Convert pack unpack success

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

#86 - Convert pack unpack failure

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

#85 - Inline and Inlinable

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

#84 - testEquivalentSUnit requires unsafeCoerce

Issue - State: open - Opened by adamgundry over 3 years ago

#83 - Tests.hs requires increased constraint solver iterations

Issue - State: closed - Opened by adamgundry over 3 years ago - 1 comment

#82 - Reducing Unpack is probably broken with dependent types

Issue - State: closed - Opened by adamgundry over 3 years ago - 1 comment

#81 - Avoid non-deterministic type comparison

Issue - State: open - Opened by adamgundry over 3 years ago

#80 - Support GHC 9.0 and 9.2

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

#79 - Support GHC 9.2

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

#78 - Tidy stack setup.

Pull Request - State: closed - Opened by philderbeast about 4 years ago

#77 - Add doctests to uom-plugin and correct normaliseUnitSyntax.

Pull Request - State: closed - Opened by philderbeast about 4 years ago - 1 comment

#76 - False equivalences of SUnits because of normaliseUnitSyntax.

Issue - State: closed - Opened by philderbeast about 4 years ago - 3 comments

#75 - Eta reduce dime

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

#74 - Add unit attaching functions to tutorial.

Pull Request - State: closed - Opened by philderbeast over 4 years ago

#73 - Add unit attaching functions to the tutorial.

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

#72 - Quoted unit functions don't compose.

Issue - State: open - Opened by philderbeast over 4 years ago - 2 comments

#71 - Add doctest for tutorial.

Pull Request - State: closed - Opened by philderbeast over 4 years ago - 1 comment

#70 - Test the tutorial with doctest.

Issue - State: closed - Opened by philderbeast over 4 years ago

#69 - Tests for unQuantity and applying valueless quasiquotes.

Pull Request - State: closed - Opened by philderbeast over 4 years ago

#68 - Add unit tests for MkQuantity constructor alternatives.

Issue - State: closed - Opened by philderbeast over 4 years ago

#67 - Building haddock works on some versions but not others.

Issue - State: closed - Opened by philderbeast over 4 years ago - 3 comments

#66 - "mkPluginUsage: file not found" warning in haddock generation on GHC-8.8

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

#65 - Rerun stack on each stack*.yaml file, generating locks.

Pull Request - State: closed - Opened by philderbeast over 4 years ago

#64 - Add stack.yaml.lock files.

Issue - State: closed - Opened by philderbeast over 4 years ago

#63 - fix compilation error on GHC-8.8

Pull Request - State: closed - Opened by msakai over 4 years ago - 7 comments

#62 - Too many iterations before looking for toRational'.

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

#61 - Travis version bump.

Pull Request - State: closed - Opened by philderbeast almost 6 years ago

#60 - Warnings from cabal check.

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

#59 - Move the ghc-versions window of the travis-ci build forward

Issue - State: closed - Opened by philderbeast almost 6 years ago

#58 - Reproduction of haddock rename type problem.

Pull Request - State: closed - Opened by philderbeast almost 6 years ago - 1 comment

#57 - haddock: internal error: renameType: HsSpliceTy

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

#56 - Fix warnings seen in travis build.

Pull Request - State: closed - Opened by philderbeast almost 6 years ago - 2 comments

#55 - Many warnings showing up in the travis build.

Issue - State: closed - Opened by philderbeast almost 6 years ago

#54 - Follow hlint suggestions in NormalForm module.

Pull Request - State: closed - Opened by philderbeast almost 6 years ago

#53 - Reorder lngSecond implementation to avoid ambiguous type variable.

Pull Request - State: closed - Opened by philderbeast almost 6 years ago

#52 - With ghc-8.0.1, RationalExamples.lngSecond has ambiguous type variable.

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

#51 - Use explicit import from TcType only when needed.

Pull Request - State: closed - Opened by philderbeast almost 6 years ago

#50 - Remove the instance-only import of TcType.

Issue - State: closed - Opened by philderbeast almost 6 years ago

#49 - Use with liquid haskell

Issue - State: open - Opened by philderbeast over 6 years ago

#48 - Lint suggestions in NormalForm

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

#47 - Release 0.3.0.0

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

#46 - Simplify GHC API use

Issue - State: open - Opened by adamgundry over 6 years ago - 6 comments

#45 - Import only instances from TcType

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

#44 - The import of ‘TcType’ is redundant

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

#43 - Plugin broken on GHC 8.4.2

Issue - State: closed - Opened by adamgundry over 6 years ago - 7 comments

#42 - Include RationalExamples in other-modules.

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

#41 - Build warning on RationalExamples

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

#40 - Remove duplicate description in cabal file.

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

#39 - Use stack resolver lts-11.7

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

#38 - A stack resolver that matches one of the tested GHC versions

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

#37 - Fix for multiple local packages.

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

#36 - The same package name is used in multiple local packages.

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

#35 - Duplicate use of the description field in uom-plugin.cabal.

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

#34 - Support GHC 8.2.1

Pull Request - State: closed - Opened by adamgundry about 7 years ago

#33 - Add tests that show type safety in the numeric part with (*:) operator.

Pull Request - State: closed - Opened by philderbeast about 7 years ago

#32 - Feature/rational

Pull Request - State: closed - Opened by philderbeast about 7 years ago - 1 comment

#31 - Add GHC -fno-warn-* options.

Pull Request - State: closed - Opened by philderbeast about 7 years ago - 1 comment

#30 - Hlint/suggestions

Pull Request - State: closed - Opened by philderbeast about 7 years ago

#29 - Add hlint as a test suite.

Pull Request - State: closed - Opened by philderbeast about 7 years ago - 6 comments

#28 - Ignore .stack-work.

Pull Request - State: closed - Opened by philderbeast about 7 years ago

#27 - Add value-level exponentiation function

Issue - State: open - Opened by adamgundry about 8 years ago

#26 - Investigate reporting of insoluble constraints in GHC 8

Issue - State: open - Opened by adamgundry about 8 years ago

#25 - Regression test for sqrt' error

Issue - State: open - Opened by adamgundry about 8 years ago

#24 - Solve `u ~ Pack (Unpack u)` in plugin

Issue - State: open - Opened by adamgundry about 8 years ago - 4 comments

#23 - Converting between identical units

Issue - State: closed - Opened by expipiplus1 about 8 years ago - 2 comments

#22 - sqrt' can convert meters to seconds with ghc8

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

#21 - Two trivial fixes

Pull Request - State: closed - Opened by erikd about 8 years ago - 1 comment

#20 - Raise upper bound on ghc-tcplugins-extra to 0.2

Pull Request - State: closed - Opened by expipiplus1 over 8 years ago - 4 comments

#19 - Arbitrary unit generation

Issue - State: open - Opened by adamgundry almost 9 years ago

#18 - Hackage documentation missing

Issue - State: closed - Opened by expipiplus1 almost 9 years ago - 1 comment

#17 - Read for quantities

Pull Request - State: closed - Opened by adamgundry almost 9 years ago

#16 - Haskell expressions as conversion factors

Issue - State: open - Opened by expipiplus1 almost 9 years ago - 3 comments

#15 - Consider deriving more instances.

Issue - State: open - Opened by expipiplus1 almost 9 years ago - 3 comments

#14 - Dimensionless units

Issue - State: closed - Opened by expipiplus1 almost 9 years ago - 5 comments

#13 - Release on Stackage

Issue - State: open - Opened by expipiplus1 almost 9 years ago - 11 comments

#12 - New hackage release

Issue - State: closed - Opened by expipiplus1 almost 9 years ago - 2 comments

#11 - Support build by stack.

Pull Request - State: closed - Opened by nushio3 almost 9 years ago - 1 comment

#10 - Deriving NFData instances

Pull Request - State: closed - Opened by ghost almost 9 years ago - 4 comments

#9 - Deriving a Storable instance for Quantity.

Pull Request - State: closed - Opened by ghost almost 9 years ago - 2 comments

#8 - Bump minor version

Pull Request - State: closed - Opened by expipiplus1 about 9 years ago

#7 - Instance of Read for quantities

Issue - State: closed - Opened by expipiplus1 about 9 years ago - 1 comment

#6 - Add conversion ratios for derived units

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

GitHub / adamgundry/uom-plugin issues and pull requests