fork download
copy 
  1. module type FOO =
  2. sig
  3.   type foo
  4.   type bar
  5.   type _ qux =
  6.     | F : foo qux
  7.     | B : bar qux
  8.   val x : bar qux
  9. end
  10.  
  11. module Foo : FOO =
  12. struct
  13.   type foo = int
  14.   type bar = int
  15.   type _ qux =
  16.     | F : foo qux
  17.     | B : bar qux
  18.   let x = F
  19. end
  20.  
  21. let _ = (match Foo.x with Foo.B -> "all is fine")
Runtime error #stdin #stdout #stderr 0s 4212KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
stderr
copy 
Fatal error: exception Match_failure("prog.ml", 21, 8)
https://ideone.com/QezOCL
language:
OCaml (ocamlopt 4.05.0)
created:
8 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!