[
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: | 2007-04-24 (18:14) |
From: | micha <micha-1@f...> |
Subject: | typing question |
Hi, why is the type of register1 'a -> string but the type of register2 _'a -> string? cheers Michael let symbol_id = ref 0;; let register1 fkt = let name = "symbol-" ^ (string_of_int !symbol_id) in incr symbol_id; Callback.register name fkt; name ;; let register2 = let symbol_id = ref 1 in fun fkt -> let name = "symbol-" ^ (string_of_int !symbol_id) in incr symbol_id; Callback.register name fkt; name ;;