Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Odd Type Checking Problem
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jonathan D Eddy <eddy@f...>
Subject: [Caml-list] Odd Type Checking Problem
Does anyone see why the first chunk should type check while the second
should not? The only difference is the explicit type annotation on mAny,
which seems to be clearly correct.

Thanks, Jon


(* type checks *)
let mAny = fun succ0 input -> succ0 in
    let ans0 = true in
    let x = mAny (mAny ans0) in
        x 1 2

(* does not type check *)
let mAny: 'a -> int -> 'a = fun succ0 input -> succ0 in
    let ans0 = true in
    let x = mAny (mAny ans0) in
        x 1 2
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr