diff options
| author | David Robillard <d@drobilla.net> | 2009-06-28 23:35:44 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2009-06-28 23:35:44 +0000 |
| commit | a80bdcc56bab969dbb214344c01a215e66b91f08 (patch) | |
| tree | bc008b054328703e839e89717146cf082ea3c1eb /src | |
| parent | c8683781a1fc347cd8ef86f2b4d40b1c34331e3c (diff) | |
| download | resp-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')
| -rw-r--r-- | src/pprint.cpp (renamed from src/write.cpp) | 0 | ||||
| -rw-r--r-- | src/typing.cpp | 8 | ||||
| -rw-r--r-- | src/unify.cpp | 7 |
3 files changed, 7 insertions, 8 deletions
diff --git a/src/write.cpp b/src/pprint.cpp index 04e3401..04e3401 100644 --- a/src/write.cpp +++ b/src/pprint.cpp 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 * ***************************************************************************/ diff --git a/src/unify.cpp b/src/unify.cpp index 2a8e6a0..91d6fde 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -22,6 +22,13 @@ * Type Inference/Substitution * ***************************************************************************/ +void +Constraints::constrain(TEnv& tenv, const AST* o, AType* t) +{ + assert(!o->to<const AType*>()); + push_back(Constraint(tenv.var(o), t, o->loc)); +} + static void substitute(ATuple* tup, const AST* from, AST* to) { |