Re: [C--] Bug in Lua-ML

 > I have found today a small bug in Lua-ML -- the record Project function
 > attempts to project the value as both the key and the value, rather than
 > correctly projecting the key for the first element of the resulting
 > list.  I have pasted below a patch which fixes this.
 > 
 > Posting here was the only feedback mechanism I could locate on the C--
 > projects page; if there is another venue that would be better for
 > reporting Lua-ML bugs, please let me know.

No, this is great; thanks.  I see rather to my embarrassment that this
bug was fixed in January in CVS revision 1.42, but evidently not
somewhere else.  It could be that our nightly build is no longer
running.

Can you tell me where and when you got the offending version of
Lua-ML?


Norman
_______________________________________________
Cminusminus mailing list
[email protected]
https://lists.eecs.harvard.edu/mailman/listinfo/cminusminus