Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Type inference inside exceptions ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-10-11 (22:52)
From: Stéphane Glondu <steph@g...>
Subject: Re: [Caml-list] Type inference inside exceptions ?
Diego Olivier FERNANDEZ PONS a écrit :
> Now I want the program not to return all the solutions but only the
> first solution it found and a list of continuations that I can launch
> again if a better solution is required.

I don't really understand what you are doing: why do you generate a list
of continuations instead of a single one? Don't you want a kind of lazy

> Here is the detailed code
> [...]
> Great ! Now I want the solution, its cardinality and the continuation list

Does this code really do what you expect? Did you take into
consideration multiple executions of your continuations? I am rather
unconfident with your single mutable variable...

> lets try ...

Is this the end of your mail?

Stephane Glondu