annotate fft/fftw/fftw-3.3.4/genfft/unique.ml @ 40:223f770b5341 kissfft-double tip

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