Andrew Martin
Andrew Martin
Make the data types Double, Float, Char, Ptr, Int{N}, and Word{N} be unrestricted in the unboxed argument in their data constructor. This is related to the discussion in https://github.com/tweag/ghc/issues/179.
Implement forkState# and joinState#. Since these two primops require the linear arrow as part of their type, this commit also introduces improvements to the genprimopcode package that allow the linear...
The proposal indicates that any pattern match on a value of type `Int#`, `Char#`, etc. should be considered linear consumption. Presumably, this would include wildcard matches with an underscore as...
For example: ``` $ nix-build release0.nix ... Configuring optparse-applicative-0.13.0.0... CallStack (from HasCallStack): die', called at libraries/Cabal/Cabal/Distribution/Simple/Configure.hs:948:20 in Cabal-2.0.1.0:Distribution.Simple.Configure configureFinalizedPackage, called at libraries/Cabal/Cabal/Distribution/Simple/Configure.hs:470:12 in Cabal-2.0.1.0:Distribution.Simple.Con figure configure, called at libraries/Cabal/Cabal/Distribution/Simple.hs:570:20 in...
Probably should add an upper bound on text to prevent the solver from choosing new versions of text.
Do not merge this unless `BoxedRep` is approved.
There are several types from `primitive` that would benefit from having instances: `ByteArray`, `Array`, `SmallArray`, `PrimArray`, `UnliftedArray`. I can add these. It will cause the library to pick up a...
The readme claims that > "Smile" is a binary data format that defines a binary equivalent of standard JSON data format. From my reading of the spec, smile is not...
I have a data type with around 80 data constructors and derived instances for Eq,Ord,Bounded, and Enum. With ghc-7.10 and singletons-2.1, this compiled in somewhere near 15 seconds. With GHC8...