On Aug 31, 2006, at 11:15 PM, Erick Tryzelaar wrote: > skaller wrote: >>> Also, if you change the "x:T" to just "x", you get this ocaml >>> exception: >>> >>> #FLX_INSTALL_DIR=. >>> #PKGCONFIG=./bin/flx_pkgconfig >>> env PATH=./bin:$PATH ./bin/flxg -q --inline=10 --elkhound=./bin/ >>> flx_elkhound -I./lib projects/foo >>> SYSTEM FAILURE >>> Unexpected `TYP_none in bind type >>> > > Maybe I should have actually asked a question :) Is this message a > bug, or just a valid compile error that just doesn't have a clear > error message?
As an error message it seems clear, if you know about the error that generated it :) > The other stuff looks cool though, not sure when/where I'd use it > though. I'm sure you could find a use--you just need to have an application to use it on. Commutativity is a property that only some types have: addition is commutative but subtraction is not. If you could define what commutativity means for a type you are working with then it would be more concrete, I guess. -Pete ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Felix-language mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/felix-language
