summaryrefslogtreecommitdiff
path: root/type-check.c
AgeCommit message (Expand)AuthorFilesLines
2012-06-17Allow null labelsSøren Sandmann Pedersen1-0/+3
2012-06-17Rename to OortSøren Sandmann Pedersen1-1/+1
2012-06-16Fix bug with switch statements and gotoSøren Sandmann Pedersen1-1/+1
2012-06-16Allow non-void function references to be assigned to void function variablesSøren Sandmann Pedersen1-4/+3
2012-06-14Allow comparing arrays against nullSøren Sandmann Pedersen1-1/+3
2012-06-13Type check string typesSøren Sandmann Pedersen1-0/+12
2011-07-03Add support for float literalsSøren Sandmann1-0/+10
2011-03-24Consolidate the three loop types into one ast node.Søren Sandmann Pedersen1-11/+3
2011-03-23Change prototype of functions to have ast_t instead of ast_program_tSøren Sandmann Pedersen1-4/+4
2011-03-23Move constant-expression marking to a separate phase.Søren Sandmann Pedersen1-2/+2
2011-03-18FormattingSøren Sandmann Pedersen1-68/+68
2010-11-16Type check goto statementsSøren Sandmann Pedersen1-1/+11
2010-11-14first class labelsSøren Sandmann Pedersen1-0/+9
2010-11-14More preparation for first class labelsSøren Sandmann Pedersen1-0/+8
2010-11-14More array supportSøren Sandmann Pedersen1-3/+15
2010-05-29Remove unused variableSøren Sandmann Pedersen1-2/+0
2008-07-06Support for stringsSøren Sandmann1-0/+10
2007-12-31Add block expressionsSøren Sandmann1-0/+7
2007-12-31Simplified offset passSøren Sandmann1-3/+3
2007-12-30More definition expression workSøren Sandmann1-0/+23
2007-10-18Add report_error() function; use it in type-check.cSøren Sandmann1-134/+64
2007-10-18Get rid of type resolution function. Instead just overwrite theSøren Sandmann1-29/+19
2007-10-17Resolve type in a bunch of placesSøren Sandmann1-11/+15
2007-10-17Allow general types with newSøren Sandmann1-3/+3
2007-10-16Array index lvalues, beginning of array type-checkingSøren Sandmann1-3/+39
2007-10-16Add data structures for index expressionsSøren Sandmann1-0/+3
2007-10-06Beginning of garbage collectorSøren Sandmann1-1/+4
2007-09-06remove debug spewSøren Sandmann1-2/+0
2007-09-06Fix various bugsSøren Sandmann1-18/+31
2007-09-06More expression casesSøren Sandmann1-14/+7
2007-09-06Beginning of case expressionsSøren Sandmann1-1/+1
2007-09-05Type check switch statementsSøren Sandmann1-0/+31
2007-09-05Resolve argument types before comparingSøren Sandmann1-1/+2
2007-09-05Add typedefsSøren Sandmann1-2/+16
2007-09-05Rename class type to object typeSøren Sandmann1-6/+6
2007-09-04Initial support for 'this'Søren Sandmann1-0/+13
2007-09-04Infer the types of temporary variablesSøren Sandmann1-5/+26
2007-09-04Working field accessSøren Sandmann1-10/+1
2007-09-03Null values, and lvalue desugaringSøren Sandmann1-35/+25
2007-09-03Remove debug spewSøren Sandmann1-3/+0
2007-09-02Initial support for dot expressions and method callsSøren Sandmann1-5/+52
2007-09-02Error on arguments to newSøren Sandmann1-0/+5
2007-09-02Beginning of type checking objectsSøren Sandmann1-0/+14
2007-09-02Support identifier typesSøren Sandmann1-3/+9
2007-09-02Move simple checks to prepare.cSøren Sandmann1-23/+0
2007-09-02Fix some potentially uninitialized variablesSøren Sandmann1-1/+19
2007-09-02More class supportSøren Sandmann1-0/+10
2007-09-02Various fixes for lambda functionsSøren Sandmann1-3/+18
2007-09-01Support break/continueSøren Sandmann1-0/+18
2007-09-01Various bug fixes, plus support for more unary opsSøren Sandmann1-11/+21