aboutsummaryrefslogtreecommitdiffstats
path: root/src/typing.cpp
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2009-06-28 23:35:44 +0000
committerDavid Robillard <d@drobilla.net>2009-06-28 23:35:44 +0000
commita80bdcc56bab969dbb214344c01a215e66b91f08 (patch)
treebc008b054328703e839e89717146cf082ea3c1eb /src/typing.cpp
parentc8683781a1fc347cd8ef86f2b4d40b1c34331e3c (diff)
downloadresp-a80bdcc56bab969dbb214344c01a215e66b91f08.tar.gz
resp-a80bdcc56bab969dbb214344c01a215e66b91f08.tar.bz2
resp-a80bdcc56bab969dbb214344c01a215e66b91f08.zip
write.cpp -> pprint.cpp.
git-svn-id: http://svn.drobilla.net/resp/tuplr@162 ad02d1e2-f140-0410-9f75-f8b11f17cedd
Diffstat (limited to 'src/typing.cpp')
-rw-r--r--src/typing.cpp8
1 files changed, 0 insertions, 8 deletions
diff --git a/src/typing.cpp b/src/typing.cpp
index 5791fdc..787f445 100644
--- a/src/typing.cpp
+++ b/src/typing.cpp
@@ -18,14 +18,6 @@
#include <set>
#include "tuplr.hpp"
-void
-Constraints::constrain(TEnv& tenv, const AST* o, AType* t)
-{
- assert(!o->to<const AType*>());
- push_back(Constraint(tenv.var(o), t, o->loc));
-}
-
-
/***************************************************************************
* AST Type Constraints *
***************************************************************************/