fork download 
  1. type 'a nested
  2. 	= Cons of 'a * ('a list) nested
  3. 	| Nil
  4.  
  5. let rec len x = match x with
  6. 	| Nil -> 0
  7. 	| Cons (_, tail) -> 1 + len tail
  8.  
  9. let nest = Cons (1, Cons ([2;3;4], Cons ([[5;6];[7];[8;9]], Nil)))
  10.  
  11. let () =
  12. 	print_int (len nest)
  13.  
Compilation error #stdin compilation error #stdout 0s 0KB
comments (?)
stdin 
Standard input is empty
compilation info 
File "prog.ml", line 7, characters 29-33:
Error: This expression has type 'a list nested
       but an expression was expected of type 'a nested
       The type variable 'a occurs inside 'a list
stdout 
Standard output is empty
https://ideone.com/qzXITG
language:
OCaml (ocamlopt 4.05.0)
created:
10 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!