annotate src/fftw-3.3.3/genfft/unique.ml @ 101:62d01b0205cc

Add bzlib2 build
author Chris Cannam <cannam@all-day-breakfast.com>
date Mon, 25 Mar 2013 12:21:28 +0000
parents 89f5e221ed7b
children
rev   line source
cannam@95 1 (*
cannam@95 2 * Copyright (c) 1997-1999 Massachusetts Institute of Technology
cannam@95 3 * Copyright (c) 2003, 2007-11 Matteo Frigo
cannam@95 4 * Copyright (c) 2003, 2007-11 Massachusetts Institute of Technology
cannam@95 5 *
cannam@95 6 * This program is free software; you can redistribute it and/or modify
cannam@95 7 * it under the terms of the GNU General Public License as published by
cannam@95 8 * the Free Software Foundation; either version 2 of the License, or
cannam@95 9 * (at your option) any later version.
cannam@95 10 *
cannam@95 11 * This program is distributed in the hope that it will be useful,
cannam@95 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
cannam@95 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
cannam@95 14 * GNU General Public License for more details.
cannam@95 15 *
cannam@95 16 * You should have received a copy of the GNU General Public License
cannam@95 17 * along with this program; if not, write to the Free Software
cannam@95 18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
cannam@95 19 *
cannam@95 20 *)
cannam@95 21
cannam@95 22 (* repository of unique tokens *)
cannam@95 23
cannam@95 24 type unique = Unique of unit
cannam@95 25
cannam@95 26 (* this depends on the compiler not being too smart *)
cannam@95 27 let make () =
cannam@95 28 let make_aux x = Unique x in
cannam@95 29 make_aux ()
cannam@95 30
cannam@95 31 (* note that the obvious definition
cannam@95 32
cannam@95 33 let make () = Unique ()
cannam@95 34
cannam@95 35 fails *)
cannam@95 36
cannam@95 37 let same (a : unique) (b : unique) =
cannam@95 38 (a == b)