5 Commits (master)

Author SHA1 Message Date
Danila Fedorin 8a352ed3ea Roll back optimization changes. 1 year ago
Danila Fedorin c17d532802 Make type_mgr a class. 1 year ago
Danila Fedorin 86b49f9cc3 Add 'internal' types. 1 year ago
Danila Fedorin e337992410 Add sources for unification type errors. 1 year ago
Danila Fedorin 5dbf75b5e4 Fork off version 13 of the compiler. 1 year ago
Danila Fedorin 7f8dae74ac Adjust type output. 2 years ago
Danila Fedorin 4586bd0188 Check for free variables in the environment before generalizing. 2 years ago
Danila Fedorin 1905601aaa Fork off the 12th version of the compiler. 2 years ago
Danila Fedorin c1f0104edb Add missing arity checks to compiler series 2 years ago
Danila Fedorin 98c1b5a3b2 Make substitution replace types at every lookup step 2 years ago
Danila Fedorin 74e6dba914 Add parsed type data structure, type application and arity. 2 years ago
Danila Fedorin d7846e0b32 Fork off code for part 11 of compiler series. 2 years ago
Danila Fedorin 8c1168d818 Add seemingly missing string includes. 2 years ago
Danila Fedorin 2a12f7f31e Switch to using type schemes and implement polymorphism in compiler series 2 years ago
Danila Fedorin 8ee016e189 Fork into version 10 of the compiler for blog series 2 years ago
Danila Fedorin 7e9bd95846 Write explanations of AST refactor in compiler series 2 years ago
Danila Fedorin 8c0a6c834e Create new 'branch' for part 6 of compiler series 2 years ago
Danila Fedorin 8ba501bd84 Add output and fix two bugs. 2 years ago
Danila Fedorin 6344ce11ce Add CMake file and code for post 4 2 years ago
Danila Fedorin 918dfbe980 Drafts of code and markdown. 2 years ago
Danila Fedorin 1820a05fcc Write up type code 2 years ago
Danila Fedorin 0d275844d4 Start working on type code 2 years ago