Version française
Home     About     Download     Resources     Contact us    
Browse thread
Create a constraint between variant type and data list
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Julien Signoles <julien.signoles@g...>
Subject: Re: [Caml-list] Create a constraint between variant type and data list 
let () = match GPL with

>   | GPL | LGPL ->
>      assert
>        (let s = "Do not forget to add new constructors to the data list
> above." in
>         Format.ifprintf Format.std_formatter "%s" s;
>         true)
>

Sorry could be much better like this:

let () = match GPL with GPL | LGPL ->
  ignore "Do not forget to add new constructors to the data list above."

--
Julien