aboutsummaryrefslogtreecommitdiff
path: root/src/checker.cpp
Commit message (Expand)AuthorAgeFilesLines
* Fixed demov0.5.0Ginger Bill2017-06-271-10/+5
* Write demo for v0.5.0Ginger Bill2017-06-261-3/+2
* Allow for named arguments for polymorphic proceduresGinger Bill2017-06-261-3/+7
* Reduce excessive node cloning on para-poly checking and fix scope bugGinger Bill2017-06-261-3/+3
* Remove `let`Ginger Bill2017-06-261-3/+2
* Undef value `---` (for setting a value to be uninitialized/undefined)Ginger Bill2017-06-261-1/+7
* Remove "overloading" bug of para-poly-procsGinger Bill2017-06-251-1/+5
* `new` as a user-level procedureGinger Bill2017-06-251-2/+2
* Allow nested para-poly proceduresGinger Bill2017-06-251-20/+20
* Rudimentary para-poly proceduresGinger Bill2017-06-251-20/+34
* Generic procedures generate types on useGinger Bill2017-06-251-3/+3
* `expand_to_tuple`Ginger Bill2017-06-241-2/+15
* Use UTF-8 command line on windowsGinger Bill2017-06-241-3/+4
* Wrap hashing functionsGinger Bill2017-06-221-32/+34
* Amend Checker APIGinger Bill2017-06-211-5/+50
* Implicit Parameter Passing based `context` system (replacing Thread Local Sto...Ginger Bill2017-06-201-5/+7
* Compiler compiles for x86 (doesn't work properly)Ginger Bill2017-06-191-4/+0
* Code will compile as 32 bit but will causes errors in the linker on WindowsGinger Bill2017-06-191-25/+25
* Begin work on documentation generationGinger Bill2017-06-181-1/+2
* Implement `assert` and `panic` in user side codeGinger Bill2017-06-181-5/+1
* `#location(..)` and `#call_location`Ginger Bill2017-06-181-6/+19
* Declaration grouping uses () rather than {}; Fix some problem with compilatio...Ginger Bill2017-06-171-2/+2
* Add extra check for bodiless proceduresGinger Bill2017-06-151-7/+2
* Code use API rather than raw CheckerInfo; begin work on generic proceduresGinger Bill2017-06-151-22/+66
* Add foreign variablesGinger Bill2017-06-151-0/+8
* Merge size_of and size_of_val et al.Ginger Bill2017-06-151-11/+1
* Add CheckerInfo API functionsGinger Bill2017-06-151-3/+38
* Declaration grouping uses braces rather than parenthesesGinger Bill2017-06-131-4/+0
* `foreign` blocks for proceduresGinger Bill2017-06-121-3/+28
* foreign_library allow for Pascal-style groupingGinger Bill2017-06-121-100/+85
* Pascal style declaration grouping with ()Ginger Bill2017-06-121-133/+150
* Prefix `type` and `let` to replace `immutable`Ginger Bill2017-06-121-22/+43
* Prefix `proc` syntaxGinger Bill2017-06-121-8/+26
* Remove := with var and :: with constGinger Bill2017-06-121-1/+1
* Named procedure callsGinger Bill2017-06-111-3/+3
* Use templated `Map` for extra type safetyGinger Bill2017-06-081-114/+84
* Remove unnecessary `typedef` usageGinger Bill2017-06-081-37/+36
* Use templated `Array` with bounds checkingGinger Bill2017-06-081-66/+64
* Update `String` to use overloadingGinger Bill2017-06-081-12/+12
* Build as C++Ginger Bill2017-06-081-0/+2174
* Random Order File Scope DeclarationgingerBill2016-07-121-6/+0
* Initial CommitgingerBill2016-07-071-0/+6