Commits · master · Charles Chamberlain / cupcake · GitLab

Jan 02, 2018
- Handle module imports when typechecking -- polymorphism does not work · 29b9172f
  Charles Chamberlain authored Jan 01, 2018
  
  29b9172f
Dec 30, 2017
- Typecheck modules, but not yet their imports · 9bd71a4a
  Charles Chamberlain authored Dec 30, 2017
  
  9bd71a4a
- Found out some things don't have to be public · 0bbe756f
  Charles Chamberlain authored Dec 30, 2017
  
  0bbe756f
- Make Typer class less dependent on having a single ast · 6ca1554f
  Charles Chamberlain authored Dec 30, 2017
  
  6ca1554f
Dec 28, 2017
- Finalize string parsing · 347c94eb
  Charles Chamberlain authored Dec 28, 2017
  
  347c94eb
- Speed up compilation time massively by avoiding swift bug · 83ccd402
  Charles Chamberlain authored Dec 28, 2017
  
  83ccd402
- Saving for potential swift compilation bug · b1b86fbb
  Charles Chamberlain authored Dec 28, 2017
  
  b1b86fbb
- Allow underscores in ident names · 0dc4ac4c
  Charles Chamberlain authored Dec 28, 2017
  
  0dc4ac4c
Dec 27, 2017
- Check for cyclic modules · f24a4397
  Charles Chamberlain authored Dec 27, 2017
  
  f24a4397
- Enable require statements with resolution · 81a2da51
  Charles Chamberlain authored Dec 27, 2017
  
  81a2da51
Dec 26, 2017
- Begin work on module system · 8448bf86
  Charles Chamberlain authored Dec 26, 2017
  
  8448bf86
Dec 25, 2017
- Various restructuring bits of code · 6b0a5c1d
  Charles Chamberlain authored Dec 25, 2017
  
  6b0a5c1d
Dec 21, 2017
- Slight bit more work done on an airplane · c8365b1d
  Charles Chamberlain authored Dec 21, 2017
  
  c8365b1d
- Very lightly get ready for the module system · 952f969a
  Charles Chamberlain authored Dec 20, 2017
  
  952f969a
- Move code around; Add read-type-print-loop · 118b6543
  Charles Chamberlain authored Dec 20, 2017
  
  118b6543
Dec 20, 2017
- Raise error when there is an invalid field access · e6b29e2f
  Charles Chamberlain authored Dec 20, 2017
  
  e6b29e2f
- Fix several mistakes; add tests for labels · 10e32c08
  Charles Chamberlain authored Dec 19, 2017
  10e32c08
Dec 19, 2017
- Logic for structural type inferences but untested and not working · 8c742c33
  Charles Chamberlain authored Dec 19, 2017
  
  8c742c33
Dec 18, 2017
- Parse field access and object syntax, tests included · a2257a07
  Charles Chamberlain authored Dec 17, 2017
  
  a2257a07
- Refactor typechecker · be9436e8
  Charles Chamberlain authored Dec 17, 2017
  
  be9436e8
Dec 17, 2017
- Add a few more tests · 1ccce509
  Charles Chamberlain authored Dec 17, 2017
  
  1ccce509
- Fix bug where quantified variables could become aliases · 18333943
  Charles Chamberlain authored Dec 17, 2017
  
  18333943
Dec 16, 2017
- Add tests for the existing type inference · 4cbdfdf2
  Charles Chamberlain authored Dec 16, 2017
  
  4cbdfdf2
- Fix copying of labels using a predefined substitution · 5b6b8e53
  Charles Chamberlain authored Dec 16, 2017
  
  5b6b8e53
- Refactor to graph; Implement free variables; Check for unsolvability · 676e5487
  Charles Chamberlain authored Dec 16, 2017
  
  676e5487
- Should now support variable shadowing · 99e1f292
  Charles Chamberlain authored Dec 15, 2017
  
  99e1f292
- Add in unit and bool types · b8219014
  Charles Chamberlain authored Dec 15, 2017
  
  b8219014
- Address bug where what should have been aliases were being overwritten · 547b12b0
  Charles Chamberlain authored Dec 15, 2017
  
  547b12b0
- Simple type unification without variable shadowing · a905e141
  Charles Chamberlain authored Dec 15, 2017
  
  a905e141
Dec 14, 2017
- Set up skeleton for typing · c0dbe07a
  Charles Chamberlain authored Dec 14, 2017
  
  c0dbe07a
Dec 13, 2017
- Reorganize, rename, and separate code with a heavy hand and a heavy heart · 0cc0a7be
  Charles Chamberlain authored Dec 13, 2017
  
  0cc0a7be
- Potential cupcake related names · a6fd8558
  Charles Chamberlain authored Dec 13, 2017
  
  a6fd8558
- Improve printing after parsing · 473378ac
  Charles Chamberlain authored Dec 13, 2017
  
  473378ac
- Add lambda expressions · 34a45a83
  Charles Chamberlain authored Dec 13, 2017
  
  34a45a83
- Add parsing for semicolons · 47e564f3
  Charles Chamberlain authored Dec 13, 2017
  
  47e564f3
- Parse parentheses · ae86a0ab
  Charles Chamberlain authored Dec 13, 2017
  
  ae86a0ab
- Better error handling for let parse · 65b02170
  Charles Chamberlain authored Dec 13, 2017
  
  65b02170
- Function calls are parsed in the right order · e392e68f
  Charles Chamberlain authored Dec 12, 2017
  
  e392e68f
- Parser actually parses several statements · 9ee042ae
  Charles Chamberlain authored Dec 12, 2017
  
  9ee042ae
- Parser is in progress · 2e47def9
  Charles Chamberlain authored Dec 12, 2017
  
  2e47def9