Browse thread
empty type
[
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: | -- (:) |
| From: | Mathias Kende <mathias@k...> |
| Subject: | RE : [Caml-list] empty type |
>What? That sure looks like a bug. () is a value of type unit .. >it isn't a type. It's not a type, but just a valid name for a constructor that can be redefined if necessary (although one surely does not want to do so). Mathias Kende