Hi y'all,
I've recently run into a problem using released version of GHC on
Windows 10, builds 15019 and later. The problem seems to be an
incompatibility with Mingw64---builds fail calling realgcc.exe with
vaguely incomprehensible error messages (Program failed to start with
error 0xc142).
Hello,
I've run into another misunderstanding with Template Haskell and typed
splices. For example, I was hoping to use typed splices to generate
earlier errors from Printf. Here's the world's least handy printf:
> class Printf t
> where printf :: String -> Q (TExp String) -> Q (TExp t)
>
>
On Mon, Mar 23, 2015 at 3:43 PM, Simon Peyton Jones
wrote:
> A quasiquoter is really a splice. That is [foo| blah |] is the same as
> $(foo "blah"). So it might be easier to discuss your question in the
> context of ordinary splices and quotes. You want foo to return code
> with a splice, thus:
Hello,
I'm attempting to write a quasiquoter with relatively full antiquotation
support. In doing so, I've arrived at I think an odd problem: the
expression grammar in Language.Haskell.TH.Syntax doesn't seem to include
splices. This seems to mean that my antiquotations can't themselves
include s
I'm trying to write some Template Haskell code that (among other
things) manipulates IntSets. So, for example, I'd like a splice to
generate a call to Data.IntSet.fromList. However, I'm not sure how
IntSet will be imported in the target module. Is there a way to
resolve the fully qualified name
On Fri, Jan 18, 2013 at 11:32 AM, Brandon Allbery wrote:
> On Fri, Jan 18, 2013 at 1:05 PM, Ben Gamari wrote:
>>
>> > on a Win32 (SP3) machine using the Haskell Platform and GHC-7.6.1
>> > (standalone) and I have noticed the same frustrating errors. Any
>> > suggestions would be most appreciated.
On Mon, Jan 14, 2013 at 3:39 AM, Simon Peyton-Jones
wrote:
> There is a real difficulty here with type-checking 'bar'. (And that
> difficulty is why 'foo' is also rejected.)
This seems, to me, like a somewhat round-about way to express the
problem. Iavor's explanation (which approach I have als
On Thu, Jan 3, 2013 at 4:57 AM, Simon Peyton-Jones
wrote:
> When matching instances, GHC does not take account of the context of
> the instance. Say you have
>
> data T a = ...
> data S1 = ...
> data S2 = ...
> [a] instance Num a => Num (T a) where ...
> [b] instan
On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale wrote:
> This is true; the use of polymorphism for numeric literals is also
> unsound.
By this logic, head is "unsound", since head [] throws an error.
Haskell types are pointed; Haskell computations can diverge. What
happens after the computation
On Mon, Apr 23, 2012 at 9:58 AM, Yitzchak Gale wrote:
> In addition, OverloadedStrings is unsound.
No. OverloadedStrings treats string literals as applications of
fromString to character list constants. fromString can throw errors,
just like fromInteger; this is no less sound than any Haskell f
On Wed, Feb 29, 2012 at 11:58 PM, AntC wrote:
> SORF's whadyoumaycalls are at the Kind level. (I'm not opposed to them
> because they're new-fangled, I'm opposed because I can't control the
> namespace.)
Nah, they have kinds, and they don't take parameters, so they're
probably types. Whether you
On Wed, Feb 29, 2012 at 11:05 PM, AntC wrote:
> I repeat: nobody is using a "type-level string". You (or someone) is
> making it up.
It isn't clear where that idea came from.
On Thu, Sep 15, 2011 at 7:51 AM, Simon Peyton-Jones
wrote:
> Yes, it would, and of course any impl of TDNR would need an
On Mon, Feb 27, 2012 at 4:52 PM, AntC wrote:
> And can use it, for example:
> getF lastName cust1
> getF fullName person2
>
> I don't think you can do this is SORF (but please check with SPJ). In
> particular, I don't think you could call this function and pass an argument
> into it for the
On Fri, Feb 24, 2012 at 4:15 PM, Johan Tibell wrote:
> Aside: It is possible to have no scalar fields in records of course.
> data R = C { compare :: (a -> a -> Ordering) }
Has x f has no semantic content besides type x having an f field; Ord
has (at least in the programmer's mind, even if the la
On Fri, Jan 13, 2012 at 8:23 PM, Matthew Farkas-Dyck
wrote:
> p :: P (p (P pp p))
This is not too far off the original design of Miranda, in which type
variable names were drawn from the set {*, **, ***, ...}
/g
--
"Would you be so kind as to remove the apricots from the mashed potatoes?"
___
2011/12/22 Edward Kmett :
> The change, however, was a deliberate _break_ with the standard that
> passed through the library review process a few months ago, and is now
> making its way out into the wild.
Is it reasonable to enquire how many standard-compliant implementations
of Haskell there are
On Thu, Dec 22, 2011 at 9:44 AM, Serge D. Mechveliani wrote:
> And ghc-7.4.0.20111219 reports
> DExport.hs:28:8:
> Could not find module `Random'
> It is a member of the hidden package `haskell98-2.0.0.1'.
> Perhaps you need to add `haskell98' to the build-depends in your .cabal
> f
On Tue, Sep 20, 2011 at 3:44 PM, Simon Peyton-Jones
wrote:
> What should the GHCi command be *called*?
:simplify or :simplifytype. In GHCi at the moment, you could abbreviate
that as short as :si.
/g
--
"I’m surprised you haven’t got a little purple space dog, just to ram
home what an interg
On Thu, Sep 15, 2011 at 10:46 PM, Ganesh Sittampalam wrote:
> One benefit of TDNR is to replicate the discoverability of APIs that
> OO programming has - if x :: Foo then typing "x." in an IDE gives you
> a list of things you can do with a Foo. (Obviously it's not a complete
> lis for various reas
On Thu, Sep 15, 2011 at 7:51 AM, Simon Peyton-Jones
wrote:
> class Select (rec :: *) (fld :: String) where
> type ResTy rec fld:: *
> get :: rec -> ResTy rec fld
>
> data T = MkT { x,y :: Int }
> instance Select T "x" where
> get (MkT {x = v}) = v
>
> And now we desugar
> f.x
> as
> get
On Thu, Sep 15, 2011 at 6:03 AM, Barney Hilken wrote:
> The right way to deal with records is first to agree a mechanism for
> writing a context which means
>
> "a is a datatype with a field named n of type b"
>
> then give the selector n the type
>
> "a is a datatype with a field na
On Sat, Nov 13, 2010 at 8:20 AM, Larry Evans wrote:
> The attached program fails to compile
To the best of my knowledge, GHC doesn't support defining multiple
modules in the same file. If you move each module to its own file, it
should compile.
/g
--
"I’m surprised you haven’t got a little p
Hello everyone,
I'm currently in the process of wrapping a C API, and I've run across
an interesting possibility. Basically, the C API exposes non-blocking
versions of some potentially long-running operations, and will invoke
a callback to indicate that the long running operation has finished.
Fo
On Sun, Nov 23, 2008 at 10:50 AM, Don Stewart <[EMAIL PROTECTED]> wrote:
> shoot.spam:
>> I started off with Hugs and recently used GHC (to use the 'let a =
>> .." syntax interactively, which Hugs doesn't allow perhaps).
>
> Probably the simplest thing to do is compile the code,
I rather doubt th
Hello,
I've been attempting to add some minor instrumentation to my pet copy
of GHC 6.10.1. In particular, I'd like to add some code to
extendInstEnv in compiler/types/InstEnv.lhs.
First, I tried importing Debug.Trace into the InstEnv module, and
changing the extendInstEnv function to trace "foo
Hi,
This is neat - but not quite what I was hoping for. My intended use
was to build a number of packages and produce a listing of all
overlapping instances, without knowing in advance which classes might
contain overlap. This is why I was hoping to instrument GHC instead
of using the existing t
Hello,
I'm currently studying the use of overlapping instances, and I was
hoping to instrument GHC to produce some variety of list of instances
that overlapped. I haven't done any GHC hacking so far, so I'm not
entirely familiar with the code base. Does anyone have any guidance
on which modules
bin directory.
>
> This will be fixed before release.
>
> Thanks
>
> Neil
>
>
>
>> -Original Message-
>> From: [EMAIL PROTECTED]
>> [mailto:[EMAIL PROTECTED] On Behalf
>> Of J. Garrett Morris
>> Sent: 17 October 2008 4:21 pm
>
Hello everyone,
I've been attempting to build darcs under ghc-6.10.0.20080920.
Currently, I'm getting the following error:
ghc failed with: D:\Programs32\GHC\ghc-6.10.0.20080920\bin/windres:
CreateProcess (null): No error
Does anyone recognize this? Any pointers for where I should be looking?
As I understand it, Cabal hides all packages by default. If a package
is not in your dependencies, it won't be available to the build, no
matter the status in ghc-pkg.
(Incidentally, this had neat consequences in the past, since it means
that packages being hidden in ghc-pkg also does not make th
Hello everyone,
I've been running into the following error:
Reproduction.exe: getMBlocks: VirtualAlloc MEM_RESERVE 1 blocks
failed: Not enough storage is available to process this command.
The confusing part to me is that when the error occurs, Task Manager
reports that the process is using arou
On 12/7/06, Lennart Augustsson <[EMAIL PROTECTED]> wrote:
Speaking of wishlist, I'd also like to see context synonyms, e.g.,
context C a = (Ord a, Num a)
This is equivalent to John Meacham's class alias proposal, right?
(http://repetae.net/john/recent/out/classalias.html)
/g
--
It is myself I
This is not the exact answer to your question, but if the first line
of your .hs file is
{-# OPTIONS_GHC -fglasgow-exts #-}
then GHC extensions will be enabled within the file, whether compiled,
loaded in GHCi, or run with runghc. Other compilers should ignore the
pragma (unlike the older {# OP
On 9/28/06, Neil Mitchell <[EMAIL PROTECTED]> wrote:
The advantage of having one Edit command which is the default is that
its a single unambiguous default, and doesn't result in things
stealing from each other etc. No one has to "decide" if they are a GHC
user or a Hugs user, then can all just b
On 9/28/06, Neil Mitchell <[EMAIL PROTECTED]> wrote:
I think me and Claus came to an agreement, and I have documented it in
a wiki page at:
http://haskell.org/haskellwiki/Installers
Anything there that is either unclear or controversial?
While this may not be true for other interpreted files,
Hello,
I successfully downloaded and installed ghc-6.5.20060901 on Windows XP
(SP2 etc.). However, when attempting to build fps-0.8, I received a
large number of errors stemming from gcc being unable to find Stg.h or
HsBase.h. As far as I could tell using -v, gcc is still being passed
the old p
Hello,
For the past couple of weeks, since downloading 6.4.2, I've been
running into occasion panics:
ghc-6.4.2: panic! (the `impossible' happened, GHC version 6.4.2):
tcIfaceTyVar a{tv}
Consistently, changing certain files causes this error. Which files
in particular cause it vary by m
Hello,
I've been attempting to use GADTs to create a small domain specific
language, and I'm running into an odd problem. Adding one case to the
example at the beginning of the Wobbly types paper:
data Term :: * -> *
where Lit :: a -> Term a
Inc :: Term Int -> Term Int
Is
Hello,
I'm attempting to use GADTs for the first time, and I'm running into
an (I think) odd error. My file includes:
data DFExpr :: * -> *
where Deriv :: (Num t) => t -> Deriv Int (DFExpr t) (DFExpr t)
(:+:) :: (Num t) => DFExpr t -> DFExpr t -> DFExpr t
-- and so forth,
(apologies for the previous attempt at this message)
I'm attempting to profile a project spread over four or five modules,
each compiled using cabal with the --enable-library-profiling and
--enable-executable-profiling switches. The resulting profiles
include all function calls for several of the
Hello,
I'm attempting to track down time usage in a project, spread over four
or five modules. I've compiled them all with profiling (using cabal
with the --
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org
41 matches
Mail list logo