diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-05-24 15:09:40 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-19 10:03:00 +0200 |
| commit | 967ff73a613aa96269f4ca68889a4ffa0439f39c (patch) | |
| tree | 23ce34ab37f656f0877097f89e4fa33cc265091b /otherlibs/num/nat.h | |
| parent | 1f24841da699e66023e72d75cb8ca6603c7fca25 (diff) | |
| download | ocaml-remove-libnum.tar.gz | |
Remove otherlibs/numremove-libnum
Continuing a general effort, this commit removes the "num" library for arbitrary-precision arithmetic from the core OCaml system. A standalone distribution of this library already exists and is hosted at https://github.com/ocaml/num
Diffstat (limited to 'otherlibs/num/nat.h')
| -rw-r--r-- | otherlibs/num/nat.h | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/otherlibs/num/nat.h b/otherlibs/num/nat.h deleted file mode 100644 index 45e7b9577c..0000000000 --- a/otherlibs/num/nat.h +++ /dev/null @@ -1,18 +0,0 @@ -/**************************************************************************/ -/* */ -/* OCaml */ -/* */ -/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ -/* */ -/* Copyright 1999 Institut National de Recherche en Informatique et */ -/* en Automatique. */ -/* */ -/* All rights reserved. This file is distributed under the terms of */ -/* the GNU Lesser General Public License version 2.1, with the */ -/* special exception on linking described in the file LICENSE. */ -/* */ -/**************************************************************************/ - -/* Nats are represented as unstructured blocks with tag Custom_tag. */ - -#define Digit_val(nat,pos) (((bng) Data_custom_val(nat))[pos]) |