aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)AuthorFilesLines
2009-10-15Clean up function type system.David Robillard4-64/+44
Unify function types globally, rather than construct a "generic type" locally, since this didn't take into consideration captured bindings, leaving the generic type not as solved as it could be. git-svn-id: http://svn.drobilla.net/resp/tuplr@226 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Always use error-checking (and terser) Constraints::constrain over push_back.David Robillard2-5/+4
git-svn-id: http://svn.drobilla.net/resp/tuplr@225 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Better error reporting for failed function compiles (print uncompilable type).David Robillard2-5/+9
git-svn-id: http://svn.drobilla.net/resp/tuplr@224 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Tidy.David Robillard1-27/+27
git-svn-id: http://svn.drobilla.net/resp/tuplr@223 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Make TEnv purely a type environment.David Robillard5-32/+28
git-svn-id: http://svn.drobilla.net/resp/tuplr@222 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Fix compilation (oops).David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@221 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Clean up ACall::constrain and stick to type domain for error reporting.David Robillard2-21/+15
git-svn-id: http://svn.drobilla.net/resp/tuplr@220 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Shrink.David Robillard1-3/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@219 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Merge two loops to build parameter types.David Robillard1-17/+12
git-svn-id: http://svn.drobilla.net/resp/tuplr@218 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Remove unnecessary forward declaration.David Robillard1-1/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@217 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Remove cruft.David Robillard5-47/+22
git-svn-id: http://svn.drobilla.net/resp/tuplr@216 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Remove cruft.David Robillard2-58/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@215 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Remove unnecessary cenv.compile wrapper.David Robillard5-31/+26
Remove special treatment of symbols for compilation. Make CEnv::vals a <ASymbol*, CValue> map rather than <AST*, CValue> (only used for symbols). git-svn-id: http://svn.drobilla.net/resp/tuplr@214 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Remove unnecessary CEnv.precompile.David Robillard3-5/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@213 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Move TEnv::buildSubst to unify.cpp.David Robillard2-33/+34
git-svn-id: http://svn.drobilla.net/resp/tuplr@212 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Remove unnecessary lexical addressing stuff.David Robillard2-32/+9
git-svn-id: http://svn.drobilla.net/resp/tuplr@211 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Tidy.David Robillard1-29/+29
git-svn-id: http://svn.drobilla.net/resp/tuplr@210 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Cleanup, shrink.David Robillard5-82/+82
git-svn-id: http://svn.drobilla.net/resp/tuplr@209 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13liftCall -> compileFunction.David Robillard4-22/+26
git-svn-id: http://svn.drobilla.net/resp/tuplr@208 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Factor out common code in eval and repl.David Robillard1-77/+71
git-svn-id: http://svn.drobilla.net/resp/tuplr@207 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-08TLSF 2.4.4 -> TLSF 2.4.6.David Robillard2-6/+10
git-svn-id: http://svn.drobilla.net/resp/tuplr@206 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-08Move lifting pass to separate file.David Robillard3-59/+80
git-svn-id: http://svn.drobilla.net/resp/tuplr@205 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-07Test coverage stuff.David Robillard2-0/+14
git-svn-id: http://svn.drobilla.net/resp/tuplr@204 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-07Remove double lookup.David Robillard2-5/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@203 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Tidy.David Robillard1-2/+5
git-svn-id: http://svn.drobilla.net/resp/tuplr@202 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Shrink.David Robillard1-4/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@201 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Fix compilation.David Robillard1-1/+1
git-svn-id: http://svn.drobilla.net/resp/tuplr@200 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06C backend.David Robillard6-24/+316
git-svn-id: http://svn.drobilla.net/resp/tuplr@199 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Move llvm.cpp back to where it came from...David Robillard2-3/+3
git-svn-id: http://svn.drobilla.net/resp/tuplr@198 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Fully abstract backend interface.David Robillard5-56/+70
git-svn-id: http://svn.drobilla.net/resp/tuplr@197 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Fully shared library safe backend interface.David Robillard3-52/+71
git-svn-id: http://svn.drobilla.net/resp/tuplr@196 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Rename gc and backend files to more library appropriate names (tuplr_ prefix).David Robillard4-4/+16
git-svn-id: http://svn.drobilla.net/resp/tuplr@195 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Remove debug dump stuff.David Robillard1-3/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@194 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Move argument substitution building from LLVM backend code to generic type code.David Robillard3-37/+43
git-svn-id: http://svn.drobilla.net/resp/tuplr@193 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Remove ugly use of llEngine everywhere.David Robillard1-28/+26
git-svn-id: http://svn.drobilla.net/resp/tuplr@192 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Split backend specific compilation functions from generic ones.David Robillard5-114/+158
git-svn-id: http://svn.drobilla.net/resp/tuplr@191 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Slightly more workingey first class functions.David Robillard1-7/+19
git-svn-id: http://svn.drobilla.net/resp/tuplr@190 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Sanity check.David Robillard1-0/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@189 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Don't print the value/type of def expressions at repl.David Robillard2-2/+4
(Give def expressions the type Nothing). git-svn-id: http://svn.drobilla.net/resp/tuplr@188 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-09Add vim support files (indentation and syntax).David Robillard3-0/+186
git-svn-id: http://svn.drobilla.net/resp/tuplr@187 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Parse AString.David Robillard3-1/+10
git-svn-id: http://svn.drobilla.net/resp/tuplr@186 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Eliminate AType::var().David Robillard2-3/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@185 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Tidy.David Robillard2-9/+6
git-svn-id: http://svn.drobilla.net/resp/tuplr@184 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Tidy.David Robillard2-16/+10
git-svn-id: http://svn.drobilla.net/resp/tuplr@183 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Ditch Exp type and use AST even at lex time.David Robillard7-114/+99
git-svn-id: http://svn.drobilla.net/resp/tuplr@182 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Lex to AST with AString type.David Robillard3-26/+36
git-svn-id: http://svn.drobilla.net/resp/tuplr@181 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Use raw memory instead of std::vector.David Robillard1-16/+29
git-svn-id: http://svn.drobilla.net/resp/tuplr@180 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Safer Exp.David Robillard1-19/+28
git-svn-id: http://svn.drobilla.net/resp/tuplr@179 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-03Hide std::vector roots of Exp.David Robillard2-15/+29
git-svn-id: http://svn.drobilla.net/resp/tuplr@178 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-03Tidy.David Robillard1-1/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@177 ad02d1e2-f140-0410-9f75-f8b11f17cedd
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-15 12:39:54 +0000