Browse thread
[Caml-list] kprintf with user formatters
- Damien
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2004-07-19 (09:28) |
From: | Pierre Weis <pierre.weis@i...> |
Subject: | Re: [Caml-list] kprintf with user formatters |
[...] > > # log false "";; > > - : unit = <unknown constructor> [...] > > There is clearly something wrong! > > Oh, come on, don't prohibit my use of Obj.magic by demonstrating strange > interactions with the equally unsafe Marshal-module ;-) I cannot and would not like to prohibit your uses of Obj.magic. Go on if you dare. I just pointed out that this particular use of Obj.magic created a value that is considered by the Caml system as an ``<unknown constructor>'': a value that breaks the compiler invariant so deeply that it cannot print it. This is a bad property that could eventually bit your program and crash it. > Btw., what has happened to generics? They were said to solve problems > associated with type safety and I/O. Any intentions to put them into > the experimental CVS-tree of OCaml? That's still something to do... Regards, Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners