MR K P SCHUPKE <[EMAIL PROTECTED]> writes:
> Try type annotations:
[slightly edited to keep the different s's differentiated]
> new_point (s0::s) t b : interleave (next_state s0::s) bs (t:ts)
Hmm...I get:
Inferred type is less polymorphic than expected
Quantified type variable `s'
On Wed, Aug 25, 2004 at 04:04:41PM +0100, Simon Marlow wrote:
>
> Yes, that's a neat trick. I'm annoyed I didn't think of it, especially
> since I'm the one who invented :def. Duh :-)
I think this is a good example to include in the documentation.
Especially because in all other examples the (S
On Wed, Aug 25, 2004 at 04:05:39PM +0200, Andreas Marth wrote:
> Tomasz Z. wrote:
> >Dirty hack - you can put such bindings in ~/.ghci :)
>
> I tried that before posting the mail, but it does not work because the
> .ghci is read before going to the submitted file which contains the
> functions I n
On 25 August 2004 15:06, Andreas Marth wrote:
> Later Tomasz Z.
>> How about this:
>>
>>> def . readFile
>> :. C.hs
>>
>> I guess I got there first ;)
>
> That works great! And you can even put the ":def . readFile" in the
> .ghci File!
> So now I start ghci with "ghci MyFile" wait until it's
Try type annotations:
new_point (s::s) t b : interleave (next_state s::s) bs (t:ts)
Keean.
___
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
I answer to 3 different mails here, so don' get confused:
Simon M. wrote:
>Like the '.' command in /bin/sh? Yes, we ought to have something
like
>that. I'll get around to it at some point, unless anyone gets there
>first.
I don't know about the '.' command in /bin/sh and I don't have a *nix
mac
Hi,
I recently tried to do the following code:
class VertexState s v where
new_point :: s -> v -> v -> v
next_state :: s -> s
-- interleave :: (VertexState s a) => s -> [a] -> [a] -> [a]
interleave s (t:ts) (b:bs) =
new_point s t b : interleave (next_state s) bs (t:ts)
On 25 August 2004 12:28, MR K P SCHUPKE wrote:
> I wish to add some extended syntax to type definitions,
> assuming I modify the parser files and associated datatypes
> to carry the extra information, is there a convenient place
> to insert a pre-parse (before type-checking) to convert the
> synta
On Wed, 25 Aug 2004 04:37:44 -0700
John Meacham <[EMAIL PROTECTED]> wrote:
> Just a thought...
> but do you have mutually recursive modules with incorrect or
> non-existant .hi-boot files? I have encounted similar 'transient'
> problems like the ones described when that was the problem.
No, we ha
Just a thought...
but do you have mutually recursive modules with incorrect or
non-existant .hi-boot files? I have encounted similar 'transient'
problems like the ones described when that was the problem.
John
--
John Meacham - ârepetae.netâjohnâ
__
I wish to add some extended syntax to type definitions,
assuming I modify the parser files and associated datatypes
to carry the extra information, is there a convenient place
to insert a pre-parse (before type-checking) to convert the
syntax extensions to regular haskell?
Keean.
On Wed, Aug 25, 2004 at 09:09:40AM +0100, Simon Marlow wrote:
> On 24 August 2004 12:47, Andreas Marth wrote:
>
> > At the moment it happens that I use an unfinished program with ghci.
> > And each time I start GHCi, I have to introduce the same bindings aka
> > 'cont <- readFile "myFile"' ...
> >
Hello,
I have send a message to these lists a weak ago with almost the same
topic, but I have now additional observations: The problem is not
related to option -O in GHC 6.2.1 ! We use in conjunction these command
line switches for the compilation:
--make -fglasgow-exts -fallow-overlapping-insta
On Wed, Aug 25, 2004 at 09:09:40AM +0100, Simon Marlow wrote:
> On 24 August 2004 12:47, Andreas Marth wrote:
>
> > At the moment it happens that I use an unfinished program with ghci.
> > And each time I start GHCi, I have to introduce the same bindings aka
> > 'cont <- readFile "myFile"' ...
> >
On 24 August 2004 12:47, Andreas Marth wrote:
> At the moment it happens that I use an unfinished program with ghci.
> And each time I start GHCi, I have to introduce the same bindings aka
> 'cont <- readFile "myFile"' ...
> Is there a way to define them once in a File and then point GHCi to
> it?
Hi everybody!
At the moment it happens that I use an unfinished program with ghci.
And each time I start GHCi, I have to introduce the same bindings aka
'cont <- readFile "myFile"' ...
Is there a way to define them once in a File and then point GHCi to
it? (I need somme of the functions in the unf
16 matches
Mail list logo
