I couldn't live without ScopedTypeVariables. For me it's an essential tool
when I want to figure out
1. if the type being inferred is the one I expect
2. what type a specific thing in code I am working with is
Also useful for adding that one bit the inferer is missing without
immediately
Hi,
I have just spent some time trying to figure out why all of a sudden
cabal repl silently exits without an error message. What helped was
to take a project that could launch the repl and compare the cabal
files to my new project. It turns out the exposed-modules entry was
missing. I was
August 2014 15:18, cheater00 . cheate...@gmail.com wrote:
Hi,
I have just spent some time trying to figure out why all of a sudden
cabal repl silently exits without an error message. What helped was
to take a project that could launch the repl and compare the cabal
files to my new project
In the last email I meant that I don't see a reason to build a library
without exposed-modules, sorry!
On Wed, Aug 6, 2014 at 11:29 PM, cheater00 . cheate...@gmail.com wrote:
The simplest thing to fix your case might be to emit an error when a
library is built with no exposed-modules (why would
manually:
instance (Show c, Show d) = Show (CmpInterval (V c) (V d)) where
show (c `Interval` d) = show c ++ `Interval` ++ show d
Perhaps you should file a bug report -- your code looks sensible to me.
Richard
On Jul 23, 2014, at 10:49 AM, cheater00 . cheate...@gmail.com wrote:
Dear
in order
to let GHC finally figure out the code I'm writing is bogus?
Thanks!
On Tue, Jul 22, 2014 at 11:20 AM, cheater00 . cheate...@gmail.com wrote:
Indeed, I hadn't come to use that at the type level; the original code used
my own types which ended up holding LocalTime; I used Float
at the type
level, and we have no such thing. You can use Nat instead, which does
exist at the type level.
Simon
| -Original Message-
| From: Glasgow-haskell-users [mailto:glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of cheater00 .
| Sent: 21 July 2014 18:51
| To: glasgow-haskell
Hi, I was experimenting a bit with type families recently and ran into
a bit of an issue. Given that I don't know type families that well
yet, I was wondering if I made an error somewhere. One thing is that I
can't find any relevant changes in the GHC release notes for 7.8.1, .2
or .3.
Maybe this