From 0faf3c5a53113ec8f31c1747c9cafe4118831282 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 8 Aug 2013 18:50:36 +0000
Subject: Future library to represent pure computations

Since the whole system is imperative, futures are run protecting
the global state, and the final state is also saved to let the user
freely chain futures.

Futures can represent local (lazy) computations or remote ones
(delegated).  Delegating a future lets a third party assign its
value at some poit in the future; in the meanwhile accessing the
future value raises an exception.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16669 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/printers.mllib | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index c3d3ce7091..37ee00517d 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -35,6 +35,8 @@ Rtree
 Heap
 Dnet
 Genarg
+Stateid
+Future
 
 Names
 Univ
@@ -49,6 +51,7 @@ Cbytecodes
 Copcodes
 Cemitcodes
 Nativevalues
+Future
 Lazyconstr
 Declareops
 Retroknowledge
-- 
cgit v1.2.3