Re: CM or SML/NJ compilation error?

Geoffrey Alan Washburn wrote:
> Geoffrey Alan Washburn wrote:
>> Matthias Blume wrote:
>>> Is this during a parallel make, or during an ordinary CM.make run?
>>>
>>> (I've never seen this before, but the error message indicates that
>>> something is going awry involving continuations -- which points
>>> to the parallel make code.)
>> 	It seems to happen with both normal and parallel builds.
>>
>> I'm currently trying to do a pseudo binary-search to figure out what 
>> part of my project could be causing this.  I do have some parts that use 
>> continuations, but most of the files it hangs on do not make any use of 
>> the bits that use callcc/throw, so it seems that the relationship must 
>> be indirect somehow.
> 
> 	I think I've narrowed it down to whether I perform a specific functor 
> application or not.  However, it doesn't seem to always hang immediately 
> after the functor is applied, it may not happen until one or two more 
> files are processed.  Could this behavior be caused by an exception or 
> continuation throw occurring during functor application?  Such a thing 
> shouldn't be happening, but I haven't yet started examining the code to 
> see whether there is something fishy.

	I narrowed this down to a value declaration going into an infinite 
loop.  Recently I must have cleaned up the definition of >> without 
thinking and defined it as

   fun (m1 : 'a monad) >> (m2 : 'b monad) =
       {| do m1, do m2 |}

which my parser expands into something like

   fun (m1 : 'a monad) >> (m2 : 'b monad) =
       m1 >> m2

However, this doesn't really explain the strange behavior of only 
hanging sometime after the functor application or the interesting choice 
of error message.


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV