Browse thread
Question about type unification
[
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: | Richard Jones <rich@a...> |
| Subject: | Question about type unification |
With this definition: type 'a t = float Why is this allowed? # ((3.0 : unit t) : string t) ;; - : string t = 3. Note that unification is prevented if t is opaque, eg, hidden behind a module signature. Rich. -- Richard Jones Red Hat