Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 137455b0f4 Get rid of more constructors and make mangled names optional. main Danila Fedorin 2020-09-18 14:09:03 -0700
• 56bdbdc6ee Remove unneeded explicit calls to std::string Danila Fedorin 2020-09-18 12:27:57 -0700
• 58c6421681 Fix silent error in set_mangled_name Danila Fedorin 2020-09-18 12:02:37 -0700
• 77c9b27b26 Fix use of wrong environment for name mangling. Danila Fedorin 2020-09-17 22:55:27 -0700
• 418126ac1f Remove the parent method from type_env. Danila Fedorin 2020-09-17 22:35:12 -0700
• 39bc6bb99e Roll back optimization changes. Danila Fedorin 2020-09-17 20:14:39 -0700
• 8a44109f93 Use an instruction instead of a special-case boolean instruction. Danila Fedorin 2020-09-17 18:33:52 -0700
• fb5a8a5a73 Change tagging to assume sign extension. Danila Fedorin 2020-09-17 18:30:55 -0700
• dfe47548cf Make a few more things classes. Danila Fedorin 2020-09-17 18:30:41 -0700
• a5597aeae0 Make global scope a class. Danila Fedorin 2020-09-15 19:45:05 -0700
• 127f51041b Make type_mgr a class. Danila Fedorin 2020-09-15 19:19:58 -0700
• f4b5069125 Make mangler a class and reformat graph. Danila Fedorin 2020-09-15 19:13:48 -0700
• 3fbca52845 Make env a class. Danila Fedorin 2020-09-15 19:12:12 -0700
• 8b897c9636 Make type_env a class. Danila Fedorin 2020-09-15 19:10:36 -0700
• 6a655827d3 Make llvm_context a class. Danila Fedorin 2020-09-15 19:08:00 -0700
• ed1f9a1460 Make some refactors for name mangling and encapsulation. Danila Fedorin 2020-09-15 18:51:28 -0700
• 18aac4c8fd Require mangled names for global variables. Danila Fedorin 2020-09-15 14:39:31 -0700
• 03465c07ce Refactor errors and update post draft. Danila Fedorin 2020-09-11 21:29:49 -0700
• 4cdb9360fb Factor type into case strategy constructor. Danila Fedorin 2020-09-11 13:03:00 -0700
• 9a591d6da6 Switch to using FILE* and default YY_INPUT. Danila Fedorin 2020-09-11 02:16:29 -0700
• 820a8bc5e9 Change constructor visibility to global. Danila Fedorin 2020-09-10 20:11:42 -0700
• 30b7b4143b Try out unboxing integers. Danila Fedorin 2020-09-10 17:32:16 -0700
• 362d9b05dc Enable more syntax. Danila Fedorin 2020-09-10 16:04:44 -0700
• 99f7f45d51 Actually use the environment for binop functions. Danila Fedorin 2020-09-10 16:03:56 -0700
• e7afa126c8 Stop using mangled names for local variables. Danila Fedorin 2020-09-10 15:14:19 -0700
• 688463570c Add assertion regarding local name mangling. Danila Fedorin 2020-09-10 15:05:02 -0700
• d3c719436a Move common code into loops. Danila Fedorin 2020-09-10 14:50:03 -0700
• a940503cea Add compile-time flag to disable output. Danila Fedorin 2020-09-10 14:07:28 -0700
• b23ffe1b21 Tweak parsed type error warning. Danila Fedorin 2020-09-10 14:04:06 -0700
• 828be79ab5 Make make_case_for throw from the second time on. Danila Fedorin 2020-09-10 14:03:04 -0700
• 0e816e523a Add programs to trigger error cases. Danila Fedorin 2020-09-10 14:02:19 -0700
• 2ede230704 Add type errors to identifier nodes. Danila Fedorin 2020-09-10 12:59:26 -0700
• 87b51819e8 Prevent case compilation from crashing and burning. Danila Fedorin 2020-09-10 12:53:55 -0700
• b03e68bb28 Add more built-in boolean-specific instructions. Danila Fedorin 2020-09-10 12:44:41 -0700
• 9393e35a84 Register booleans as internal types. Danila Fedorin 2020-09-10 00:54:35 -0700
• b6df158280 Make sure to delete LLVM target machine. Danila Fedorin 2020-09-09 23:45:48 -0700
• adc95c8d04 Initialize graph indegree. Danila Fedorin 2020-09-09 23:44:53 -0700
• c7b2a4959f Add prototype impl of case specialization. Danila Fedorin 2020-09-09 22:49:35 -0700
• c1a8dc4557 Add 'internal' types. Danila Fedorin 2020-09-09 18:08:38 -0700
• 92a9ec2021 Replace throw 0 with real exceptions or assertions. Danila Fedorin 2020-09-09 17:19:23 -0700
• 1f7a53ccf6 Add sources for unification type errors. Danila Fedorin 2020-09-09 15:26:04 -0700
• 80f181cbb6 Add extra line after code fence. Danila Fedorin 2020-09-09 15:25:48 -0700
• 34357163cd Print locations in non-unification type errors. Danila Fedorin 2020-09-09 15:15:25 -0700
• 945d0f31c3 Add locations to patterns. Danila Fedorin 2020-09-09 15:15:09 -0700
• bdaa046a8c Require C++17 for optionals Danila Fedorin 2020-09-09 15:14:37 -0700
• 588ce99601 Add locations to error reporting. Danila Fedorin 2020-09-09 15:08:43 -0700
• 07ac3d72e4 Add a method to print location. Danila Fedorin 2020-09-09 14:41:16 -0700
• 2752703038 Touch up source index code. Danila Fedorin 2020-09-09 14:20:10 -0700
• c648e20a02 Keep track of locations in definitions. Danila Fedorin 2020-09-09 14:19:46 -0700
• 350a630213 Make driver keep track of line numbers and locations. Danila Fedorin 2020-09-09 13:57:01 -0700
• 5a9d4c1e92 Update ASTs to actually take in locations. Danila Fedorin 2020-09-09 13:29:28 -0700
• a6839c548e Start using driver, and switch to file IO. Danila Fedorin 2020-09-09 13:00:06 -0700
• 2f09401685 Enable locations. Danila Fedorin 2020-09-09 12:21:50 -0700
• e7367ef86e Fork off version 13 of the compiler. Danila Fedorin 2020-09-08 18:38:05 -0700
• 2d8c4d16c0 Fix typechecking of mutually recursive functions. Danila Fedorin 2020-06-21 00:47:26 -0700
• 6198738acc Make proofreading-based fixes. Danila Fedorin 2020-06-20 23:50:26 -0700
• 59231fd00d Finish draft of part 12 of compiler series. Danila Fedorin 2020-06-20 22:03:57 -0700
• 645d41159b Remove unneeded parent class. Danila Fedorin 2020-06-18 23:06:13 -0700
• 4a94d0e507 Add first draft of lambdas. Danila Fedorin 2020-06-14 02:00:20 -0700
• 1e5d43e5e8 Properly handle null types in pattern typechecking. Danila Fedorin 2020-06-14 00:43:39 -0700
• 33f8040886 Use mangled names in variable environments. Danila Fedorin 2020-06-13 23:43:52 -0700
• 522d196446 Maybe finish the let/in code? Danila Fedorin 2020-06-01 00:23:41 -0700
• baf7427737 Start working on translation. Danila Fedorin 2020-05-31 18:52:52 -0700
• 6d1be9527e Start working on a lifted version of a definition. Danila Fedorin 2020-05-31 14:37:33 -0700
• a78db7500f Adjust type output. Danila Fedorin 2020-05-31 00:50:58 -0700
• de08f0febf Mark some definitions as global, so as not to capture them. Danila Fedorin 2020-05-31 00:34:12 -0700
• dec6d834f5 No longer destroy the list of free variables. Danila Fedorin 2020-05-30 23:29:36 -0700
• feeee2039b Check for free variables in the environment before generalizing. Danila Fedorin 2020-05-30 16:40:27 -0700
• 74f54abf5b Add parsing of let/in. Danila Fedorin 2020-05-28 14:44:12 -0700
• 63f82a1c64 Add typechecking to let/in expressions. Danila Fedorin 2020-05-26 00:52:54 -0700
• 35928b3a54 Extract ordering functionality into definition group. Danila Fedorin 2020-05-25 23:58:56 -0700
• 5b6378c9e4 Add a struct to contain groups of mutually recursive definitions. Danila Fedorin 2020-05-25 22:11:45 -0700
• 71bc55c696 Fork off the 12th version of the compiler. Danila Fedorin 2020-05-25 21:20:41 -0700
• fa19fa2792 Build and test version 11 of the compiler instead of 10. Danila Fedorin 2020-04-26 21:28:34 -0700
• 5049b81536 Update to LLVM 10. Danila Fedorin 2020-04-26 21:24:24 -0700
• f97d3f913c Add missing arity checks to compiler series Danila Fedorin 2020-04-14 19:21:33 -0700
• 9d16d3840a Make compiler check for arity in part 11 of compiler series. Danila Fedorin 2020-04-14 16:20:06 -0700
• 9fb9eec394 Finish draft of part 11 of compiler series Danila Fedorin 2020-04-14 16:19:54 -0700
• 8cbe59b6b2 Rename inaccurately named rule Danila Fedorin 2020-04-14 15:58:25 -0700
• a18c30dca8 Update example to include polymorphism Danila Fedorin 2020-04-14 15:58:13 -0700
• 50326ffcc3 Adjust grammar to allow for broader range of type inputs. Danila Fedorin 2020-04-13 23:17:34 -0700
• 207efc7ded Make substitution replace types at every lookup step Danila Fedorin 2020-04-13 17:59:57 -0700
• 2a936927a1 Integrate new types into the rest of the project Danila Fedorin 2020-04-13 17:12:43 -0700
• 379a64f379 Add parsed type data structure, type application and arity. Danila Fedorin 2020-04-13 14:20:35 -0700
• 682e0d3e1c Fork off code for part 11 of compiler series. Danila Fedorin 2020-04-09 23:48:53 -0700
• 2e0318347c Add seemingly missing string includes. Danila Fedorin 2020-04-09 16:26:10 -0700
• 63601eaf40 Add missing source file Danila Fedorin 2020-03-25 03:36:17 -0700
• 37921c4466 Remove debug output Danila Fedorin 2020-03-25 03:35:30 -0700
• 08246f1474 Finalize draft of polymorphism post Danila Fedorin 2020-03-25 03:22:21 -0700
• de435d6c80 Switch to using type schemes and implement polymorphism in compiler series Danila Fedorin 2020-03-24 23:04:44 -0700
• e07da0c9b1 Implement new ordered typing in compiler series Danila Fedorin 2020-03-24 22:00:09 -0700
• c286c9edcc Separate definitions in compiler series Danila Fedorin 2020-03-24 21:08:02 -0700
• 2e74291ac9 Switch type environment to using pointers Danila Fedorin 2020-03-24 18:04:01 -0700
• addfc2aa55 Only store type in case expression Danila Fedorin 2020-03-24 17:53:06 -0700
• 9e14b2920c Explain graph code Danila Fedorin 2020-03-14 21:04:13 -0700
• ccac53854d Start work on algorithms in compiler post 10 Danila Fedorin 2020-03-14 17:18:06 -0700
• 90ed26ab39 Set up script to test latest compiler version Danila Fedorin 2020-03-10 22:26:02 -0700
• efadf17561 Fork into version 10 of the compiler for blog series Danila Fedorin 2020-03-10 20:58:26 -0700
• 9e10eda41c Remove unused line at the end of works1.txt Danila Fedorin 2020-02-23 21:26:37 -0800
• 972682969c Move testing code into a script Danila Fedorin 2020-02-11 18:37:21 -0800