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