GADTs and functional dependencies in ghc 6.10.1

Hello all, I think (hope) this question is different from the ones about GADTs recently discussed on this list. The following program compiles under ghc 6.8.2 but not under ghc 6.10.1: {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, GADTs, KindSignatures, ScopedTypeVariables #-}

building ghc-6.10.1 against readline

Hello all, Here are quick and dirty instructions for building ghc-6.10.1 against readline instead of editline, for anyone who may be interested. 1. Unpack the ghc source and extralibs trees into ~/build/ghc-6.10.1 (Where you put your build tree obviously doesn't matter; I just specify it

Re: ST monad and monad tranformers

On Mon, Feb 02, 2009 at 06:03:15PM +0100, Josef Svenningsson wrote: Hi Tyson, I also needed something like this a while ago so I knocked up a really simple module and put it on hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/STMonadTrans Warning! The STMonadTrans

Re: Desugaring do-notation to Applicative

on the overall idea though, I have a bunch of FRP code (where I have to use Applicative) that looks just like Dan Doel's second snippet and it's pretty horrid. Regards, Reid Barton ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http

Re: Desugaring do-notation to Applicative

be expected to understand and deal with this sharing issue if it affects them. (They pretty much have to understand it already, if they are compiling with optimizations.) Regards, Reid Barton ___ Glasgow-haskell-users mailing list Glasgow-haskell-users

Re: how to get ghci to load compiled modules in 7.8?

is to compile with -dynamic, not -dynamic-too. Regards, Reid Barton ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: runghc and GhcWithInterpreter

runghc under /usr/local/lib/ghc-7.10.1/bin in addition to the shell script under /usr/local/bin that references it. Yes, runghc is actually a small Haskell program that shells out to ghc -e. I filed an issue: https://ghc.haskell.org/trac/ghc/ticket/10261 Regards, Reid Barton

Re: Arithmetic overflow in rem and mod

it is a worse violation of the law to have _|_ + 0 == x when x = minBound and y = -1. Regards, Reid Barton ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users

Re: cannot build 'vector' with profiling

you need dynamic versions of vector's dependencies for Template Haskell, but you disabled building them with --disable-shared. Regards, Reid Barton ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin

Re: simultaneous ghc versions

. The only thing I find missing is the ability to install a binary distribution without overwriting the existing symlinks (e.g. ghc - ghc-7.8.4). Regards, Reid Barton ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http

Re: GHC API: memory usage of loaded modules

On Tue, Dec 13, 2016 at 1:21 PM, Evan Laforge <qdun...@gmail.com> wrote: > Sorry about the delay, I got distracted by an unrelated memory leak. > > On Tue, Nov 29, 2016 at 9:35 AM, Reid Barton <rwbar...@gmail.com> wrote: >> You'd probably find that you also want

Re: Narrower (per-method) GND

ybe customized to mention the failure to `coerce` a method in GND. Would that be adequate? Regards, Reid Barton ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users

Re: GHC API: memory usage of loaded modules

have to load the entirety of each of your dependencies, rather than just the parts you actually use.) Regards, Reid Barton ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users