fork download
copy 
  1. module Test : sig
  2.   type 'a t
  3.   val nosib : 'a t -> [ `No_siblings ] t
  4. end = struct
  5.   type 'a t = 'a list
  6.   let nosib t =
  7.     match t with
  8.       | [_] -> t
  9.       | _   -> failwith "foo"
  10. end
  11.  
Compilation error #stdin compilation error #stdout 0s 0KB
comments (?)
stdin
copy 
Standard input is empty
compilation info 
File "prog.ml", line 4, characters 6-118:
Signature mismatch:
Modules do not match:
  sig type 'a t = 'a list val nosib : 'a list -> 'a list end
is not included in
  sig type 'a t val nosib : 'a t -> [ `No_siblings ] t end
Values do not match:
  val nosib : 'a list -> 'a list
is not included in
  val nosib : 'a t -> [ `No_siblings ] t
stdout
copy 
Standard output is empty
https://ideone.com/yIZ7Qm
language:
OCaml (ocamlopt 4.05.0)
created:
11 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!