From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA04456 for caml-redistribution; Fri, 14 Mar 1997 19:20:44 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA16311 for <caml-list@pauillac.inria.fr>; Fri, 14 Mar 1997 02:25:40 +0100 (MET)
Received: from haven.uchicago.edu (root@haven.uchicago.edu [128.135.12.3]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id CAA28147 for <caml-list@inria.fr>; Fri, 14 Mar 1997 02:25:38 +0100 (MET)
Received: from midway.uchicago.edu (root@midway.uchicago.edu [128.135.12.12])
	by haven.uchicago.edu (8.8.5/8.8.5) with ESMTP id TAA15385
	for <caml-list@inria.fr>; Thu, 13 Mar 1997 19:25:36 -0600 (CST)
Received: from kimbark.uchicago.edu (root@kimbark.uchicago.edu [128.135.12.52]) by midway.uchicago.edu (8.8.5/8.8.3) with ESMTP id TAA20886 for <caml-list@inria.fr>; Thu, 13 Mar 1997 19:25:24 -0600 (CST)
Received: from kimbark.uchicago.edu (4208@localhost [127.0.0.1]) by kimbark.uchicago.edu (8.8.5/8.8.3) with ESMTP id TAA15399 for <caml-list@inria.fr>; Thu, 13 Mar 1997 19:25:23 -0600 (CST)
Message-Id: <199703140125.TAA15399@kimbark.uchicago.edu>
To: caml-list@inria.fr
Subject: type error: converting input channel to string list
Date: Thu, 13 Mar 1997 19:25:22 -0600
From: Lyn A Headley <laheadle@midway.uchicago.edu>
Sender: weis

hi all,

I can't seem to make sense of this type error.  Sorry to air my
dirty laundry but I was hoping I could get some assistance with this
one, as I am stumped.

the code is merely:

(* turn an input channel into a list of strings *)
let string_list_of_chann chann =
  let rec slof_aux (ch: in_channel) (l: string list) = 
    try
      let readstr = input_line ch in
      slof_aux ch readstr::l
    with End_of_file -> l
  in slof_aux chann []

and the error is:

File "query.ml", line 11, characters 19-155:
This expression has type in_channel -> string list -> string list
but is here used with type in_channel -> string -> string
make: *** [all] Error 2


Is this a problem with relying on an exception to type a function?

thanks,
Lyn