Commits

Commits on Sep 9, 2015

Disclaimer: Foreign providence.
jpt4
committedSep 9, 2015

Commits on Jan 27, 2013

Added pattern-match to convince compiler of safety that should be guaranteed by the type system.
eligottlieb
committedJan 27, 2013
Added another slight update to the memoized creation of LLVMFunctions.
eligottlieb
committedJan 27, 2013
Accidentally reopened the branch. Ouch.
eligottlieb
committedJan 27, 2013
Commented out a lot of stuff from memes.dca to produce a working example of where the compiler is now.
eligottlieb
committedJan 27, 2013
Closing feature/rewrite branch as it has been merged back as main stream of development.
eligottlieb
committedJan 27, 2013
Merged rewrite branch back into default.
eligottlieb
committedJan 27, 2013
Updated README.
eligottlieb
committedJan 27, 2013

Commits on Nov 6, 2012

Function pointers are pointers, and thus subject to physical subtyping rather than full subtyping. Physical subtyping only supports width subtyping, so function pointer types can only subtype each …
Eli Gottlieb
committedNov 6, 2012

Commits on Oct 25, 2012

Ok, it compiles and has a bug. I'm working on revising the algorithm (again) and proving that the new one can't have this bug.
Eli Gottlieb
committedOct 25, 2012

Commits on Sep 11, 2012

Working on getting type variables to pass their names around and fixing an error in inference of bounded signature variables. Also, hid the signature-constraint collection itself behind the ownersh…
Eli Gottlieb
committedSep 11, 2012

Commits on Sep 5, 2012

Building an LLVM function now loops through and names the LLVMArguments to the LLVMFunction, allowing actual compilation of functions with parameters to proceed... until it hits my current type-sys…
Eli Gottlieb
committedSep 5, 2012
Major type-system fix-ups.
Eli Gottlieb
committedSep 5, 2012

Commits on Aug 25, 2012

Rebuilt SignatureSubstitution, particularly to have it include generalization of variables. Finally have the behavior I expect from that, more or less, but there appear to be flaws in the type infe…
Eli Gottlieb
committedAug 25, 2012

Commits on Aug 23, 2012

Still futzing around debugging type generalizations for type and function definitions. Type definitions more-or-less work by virtue of creating universal variables when I bind the names of type-par…
Eli Gottlieb
committedAug 23, 2012

Commits on Aug 21, 2012

Trying to work out bugs in the type system and function definitions that are stopping function definitions from being outputted into LLVM modules.
Eli Gottlieb
committedAug 21, 2012

Commits on Aug 17, 2012

Whole lot of debugging. Still having problems with LLVM, but Deca itself isn't throwing up right now.
Eli Gottlieb
committedAug 17, 2012

Commits on Aug 1, 2012

Welp, now the major error is a crash inside jllvm.
Eli Gottlieb
committedAug 1, 2012
More progress towards compiling memes.dca, this time largely from fixing infinite-loop bugs in the type inference engine.
Eli Gottlieb
committedAug 1, 2012

Commits on Jul 26, 2012

Holy shit. So many bug-fixes.
Eli Gottlieb
committedJul 26, 2012

Commits on Jul 22, 2012

Now apparently able to compile recursive functions! Getting match errors on n = 0 expression.
Eli Gottlieb
committedJul 22, 2012
Fixed a whole bunch more bugs.
Eli Gottlieb
committedJul 22, 2012

Commits on Jul 21, 2012

Tons of fixes on function compilation and type inference. Fairly minor stuff, mostly.
Eli Gottlieb
committedJul 21, 2012

Commits on Jul 20, 2012

Patched a whole shitload of stuff. Getting closer and closer to memes.dca compiling again.
Eli Gottlieb
committedJul 20, 2012

Commits on Jul 13, 2012

Upgraded to LLVM 3.1-style recursive types, and trying to build a jar I can actually execute by providing the manifest with Scala's classpath.
Eli Gottlieb
committedJul 13, 2012

Commits on Jul 12, 2012

Completely pulled jllvm out of the decac source tree. Replaced it with a lib directory, changed build file.
Eli Gottlieb
committedJul 12, 2012

Commits on Jul 8, 2012

I might have just totally fucked shit up with function calling, but I do believe I just implemented implicit parameters and their resolution.
Eli Gottlieb
committedJul 8, 2012

Commits on Jul 3, 2012

Commits on Jun 10, 2012

Added expression calls (which may not be *correct* quite yet). Switched writable expressions over from having a store() method to a pointer() method, returning an LLVM pointer I can just pass to LL…
Eli Gottlieb
committedJun 10, 2012

Commits on Jun 6, 2012

Apparently some change to jllvm. Minor grammatical change to allow exception types to be declared in a !throw effect signature. Change build.xml to build on current Ubuntu (12.04 LTS) with llvm ins…
Eli Gottlieb
committedJun 6, 2012

Commits on May 6, 2012

Noted the correct subtypes of SignatureVariable in TypeConstructor.
Eli Gottlieb
committedMay 6, 2012
Updated some stuff, added back if-then-else expressions, fixed a minor ambiguity in the grammar.
Eli Gottlieb
committedMay 6, 2012

Commits on Apr 23, 2012

Uncommented and corrected the AST-generation code for arithmetic operator expressions.
Eli Gottlieb
committedApr 23, 2012
Added back member expressions, tuple expressions, fixed some stuff up. Added files that somehow hadn't already been in this repo branch, dagnabbit.
Eli Gottlieb
committedApr 23, 2012