diff options
| author | David Robillard <d@drobilla.net> | 2012-12-25 00:09:34 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2012-12-25 00:09:34 +0000 |
| commit | bf757dcc9b66ebb3bf7e2df8e8c7d3a011ddd6dc (patch) | |
| tree | 0d49ea2dced45c2535b7050ebd7deefc19bd27ac /src/unify.cpp | |
| parent | 67319bf0410196787c753225f46057bc7c94beec (diff) | |
| download | resp-bf757dcc9b66ebb3bf7e2df8e8c7d3a011ddd6dc.tar.gz resp-bf757dcc9b66ebb3bf7e2df8e8c7d3a011ddd6dc.tar.bz2 resp-bf757dcc9b66ebb3bf7e2df8e8c7d3a011ddd6dc.zip | |
Preliminary syntax-rules macro implementation.
git-svn-id: http://svn.drobilla.net/resp/trunk@443 ad02d1e2-f140-0410-9f75-f8b11f17cedd
Diffstat (limited to 'src/unify.cpp')
| -rw-r--r-- | src/unify.cpp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/unify.cpp b/src/unify.cpp index 48ae1dd..aeb024f 100644 --- a/src/unify.cpp +++ b/src/unify.cpp @@ -129,13 +129,6 @@ Constraints::replace(const AST* s, const AST* t) } return *this; } - -static inline bool -is_dots(const AST* type) -{ - return (AType::is_name(type) && type->as_symbol()->str() == "..."); -} - /// Unify a type constraint set (TAPL 22.4) Subst unify(const Constraints& constraints) |