Browse thread
[Caml-list] Type inference problem
- Jonathan Roewen
[
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: | Jonathan Roewen <jonathan.roewen@g...> |
| Subject: | [Caml-list] Type inference problem |
Hi, I can't figure out what's wrong with my code =( It's on a paste site, so will only last about 24 hours or so. http://rafb.net/paste/results/Uux57B97.html jonathan@moonbeam:~/dst/stdlib$ ocamlc VFS.ml File "VFS.ml", line 106, characters 3-6: This expression has type int but is here used with type unit It -has- to return int ;-) But I have no idea where the type constraint is coming from that wants it to return unit. Change it to return unit, and where it's used complains it doesn't return type int (so that constraint is correct). Jonathan