[
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: | Julian Assange <proff@i...> |
| Subject: | polymorphic variant oddity |
let `F x = x;; Unbound value x # let `F x = 1;; This expression has type int but is here used with type [< `F of 'a | ..] # let `F x = `F 1;; val x : int = 1 # `F 4;; - : [> `F of int] = `F 4 What exactly is the meaning this?