diff options
| author | David Robillard <d@drobilla.net> | 2009-06-29 00:10:41 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2009-06-29 00:10:41 +0000 |
| commit | 373586d02cc0453a85cad92b16839d22e474099a (patch) | |
| tree | 48b6dad6d0601a7700a4967d172c6327d61b6f0b /src/unify.cpp | |
| parent | a80bdcc56bab969dbb214344c01a215e66b91f08 (diff) | |
| download | resp-373586d02cc0453a85cad92b16839d22e474099a.tar.gz resp-373586d02cc0453a85cad92b16839d22e474099a.tar.bz2 resp-373586d02cc0453a85cad92b16839d22e474099a.zip | |
Build compiler documentation.
git-svn-id: http://svn.drobilla.net/resp/tuplr@163 ad02d1e2-f140-0410-9f75-f8b11f17cedd
Diffstat (limited to 'src/unify.cpp')
| -rw-r--r-- | src/unify.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index 91d6fde..0383df0 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -15,13 +15,13 @@ * along with Tuplr. If not, see <http://www.gnu.org/licenses/>. */ +/** @file + * @brief Unify type constraints + */ + #include <set> #include "tuplr.hpp" -/*************************************************************************** - * Type Inference/Substitution * - ***************************************************************************/ - void Constraints::constrain(TEnv& tenv, const AST* o, AType* t) { |