I'd like write a function taking values with implicit parameters. I can't get this to
work in a
straightforward way in GHC 5.02 (with -fno-monomorphism-restriction.) In particular,
if I try:
> wF :: ((?x :: Int) => a) -> Int -> a -- compiles but tf won't work
> wF s z = s with ?x = z
>
> f
Title: Message
GHC
has never allowed function types with an unboxed utpel
on the
left of an arrow:
f :: (# Int,Int #) -> Int
Instead you must write it curried or use an ordinary
tuple.
In
older GHCs you got a crash (as you show), but 5.02.2 checks
properly
for
this.
It's a
b
> I a file that is too large to post here completely, I have used:
>
> type Result val s = (# val, Steps s #)
>
> and I get the error message:
>
>
> UU_Parsing.hs:391:
> Illegal unboxed tuple type as function argument: (# val, Steps s
#)
> In the type: (# val, Steps s #)
> While c
Title: type definition with strict
products
I a file that is too large to post here completely, I have
used:
type Result val s = (# val, Steps s
#)
and I get the error message:
UU_Parsing.hs:391:
Illegal unboxed tuple
type as function argument: (# val, Steps s #)
In the type: (# val,
Various packages of 5.02.2 for FreeBSD/x86 are now available:
Port skeleton:
http://www.haskell.org/ghc/dist/5.02.2/ghc-5.02.2-i386-unknown-freebsd-p
ort.tar.gz
Pre-built package:
http://www.haskell.org/ghc/dist/5.02.2/ghc-5.02.2.tgz
Old-style .tar.gz package (use if you need to install somew
On Tue, 29 Jan 2002, Simon Marlow wrote:
> > If you want to build GHC in different ways, eg. with
> > ticky-ticky profiling
> > on, you can do it by setting "GhcLibWays=t". This make two
> > versions of
> > all the library .o files and .a files, a normal one, and a ticky-ticky
> > one.
> >
> > M
