Mercurial > hg > sv-dependency-builds
annotate src/fftw-3.3.3/genfft/unique.ml @ 140:59a8758c56b1
Add source for PortAudio stable v190600_20161030
author | Chris Cannam <cannam@all-day-breakfast.com> |
---|---|
date | Tue, 03 Jan 2017 13:44:07 +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) |