On Mon, Feb 8, 2010 at 9:38 PM, Jacques Garrigue < garri...@math.nagoya-u.ac.jp> wrote:
> From: Rich Neswold <rich.nesw...@gmail.com> > > > My question is this: Is there a way to make the compiler reject a > function > > parameter from returning the context parameter? > > The language is just too expressive... > You should rather look into adding a dynamic flag to your context, > causing a runtime error if you use it later. > This is the way it works now, so I'll continue to use it. I'm still new to the functional language scene and wasn't sure if I was missing something obvious. Thanks for your time! -- Rich Google Reader: https://www.google.com/reader/shared/rich.neswold Jabber ID: r...@neswold.homeunix.net
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs