Nathan Braswell
|
b073d5806b
|
Templated methods work now, even explicit instantiation (along with implicit)
|
2016-02-20 02:36:35 -05:00 |
|
Nathan Braswell
|
815c213270
|
Make --parse-only not highlight and redo format of parse errors so that kraken.vim syntax checking works, fix naming to allow multiple instantiations of object templates, fix so that template type replacements go through to bodies of methods of object templates in the fourth_pass
|
2016-02-15 16:31:01 -05:00 |
|
Nathan Braswell
|
3da140cc5e
|
Object templates starting to work, don't do methods properly yet, likely all have the same name
|
2016-02-13 16:56:37 -05:00 |
|
Nathan Braswell
|
46f4f95f00
|
Extended unify_type to unify through pointers, should work for all the features now implemented
|
2016-02-09 12:47:21 -05:00 |
|
Nathan Braswell
|
f70aed9589
|
Implemented ultra-basic/incomplete function template instantiation type inference for Kalypso that just assigns the param type to the concat'd string right away which works in the most basic of cases. Will expand to cover pointers soon, and the rest when those features are implemented (object templates, function types)
|
2016-02-09 04:16:03 -05:00 |
|
Nathan Braswell
|
2ac1639b5e
|
A little more work on function inference, fixed both Cephalapod and Kalypso's c generators to not accidentally emit this-> for a method param if the object has a var of the same name, which allows us to disambiguate with object_name::member = param_with_same_name, behavior I had not thought of but would have worked out of the box if not for this accidental bug
|
2016-02-09 02:59:38 -05:00 |
|
Nathan Braswell
|
dd34de7c88
|
Made a test_runner in Kraken to run the tests on Kalypso, and moved to_import.krak to simple_print.krak and ported one function over to use it instead, so that Kalypso testing can get started before implementing everything needed to use io.krak
|
2016-02-05 04:30:34 -05:00 |
|
Nathan Braswell
|
5dd8046d2f
|
Template replacements acutally propegate through the function now - but it doesn't decorate names so that same named functions with same parameters but instantiated by different types but with the resulting same prototype, so they end up having the same name in C, which needs to be addressed.
|
2016-02-04 23:32:47 -05:00 |
|
Nathan Braswell
|
de3ead0573
|
added proper template function instantiation caching
|
2016-02-03 21:57:06 -05:00 |
|
Nathan Braswell
|
1ea07d4f92
|
Make template functions correctly check parameter types (should probs cache template function instantiations
|
2016-02-03 15:37:50 -05:00 |
|
Nathan Braswell
|
24fb8d288f
|
Fix templated types getting their indirection stripped off when used
|
2016-02-01 15:59:41 -05:00 |
|
Nathan Braswell
|
70ebefcc25
|
Initial explicit function template working (chained may also not work, need to check)
|
2016-02-01 05:35:08 -05:00 |
|
Nathan Braswell
|
ab5250bd0b
|
Copy construct into function calls
|
2016-01-30 23:59:21 -05:00 |
|
Nathan Braswell
|
83450aa833
|
Added copy_constructing when returning
|
2016-01-30 22:04:37 -05:00 |
|
Nathan Braswell
|
6f1f31a212
|
Added automatic distructor calling for going out of scope, found out that += is broken (and just comes through as =)
|
2016-01-29 22:46:09 -05:00 |
|
Nathan Braswell
|
17d4371d5c
|
Implemented init position calls
|
2016-01-28 20:51:40 -05:00 |
|
Nathan Braswell
|
42b942737b
|
Prepping for introducing automatic copy_construct and destruct and tests for them, fixed using - to negate numbers
|
2016-01-28 12:55:51 -05:00 |
|
Nathan Braswell
|
693134b499
|
defer should now would properly with break and continue
|
2016-01-25 22:48:41 -05:00 |
|
Nathan Braswell
|
135305fb76
|
The piping for defer, though not the correct stacks in c_generator. Bedtime though
|
2016-01-25 02:53:00 -05:00 |
|
Nathan Braswell
|
83a76c36de
|
continue and break statements
|
2016-01-24 17:31:41 -05:00 |
|
Nathan Braswell
|
105a969a00
|
Method calls from within method from same object
|
2016-01-24 01:49:14 -05:00 |
|
Nathan Braswell
|
c022758b9c
|
Make this varaiable/keyword work
|
2016-01-24 01:02:56 -05:00 |
|
Nathan Braswell
|
23cad3ad1b
|
Access to member variables from inside methods now work
|
2016-01-23 20:39:06 -05:00 |
|
Nathan Braswell
|
fc343ceea8
|
This commit has its date moved to earlier to reflect when the work was completed, as I forgot to actually make the commit until 2 minutes after midnight :/. It partially fixed a bug where ADT requires equality for its member types but won't use templated equality to be if there isn't a regular equality operator (not templated) it always returns false
|
2016-01-22 23:59:59 -05:00 |
|
Nathan Braswell
|
8c5bf36433
|
Object member access works now
|
2016-01-21 19:16:29 -05:00 |
|
Nathan Braswell
|
d43f36f1d9
|
type_def variables and methods are not parsed in ast_transformation, and kind-of generated in c_generator, but access and whatnot not supported yet
|
2016-01-21 12:54:21 -05:00 |
|
Nathan Braswell
|
4ebb8bf107
|
Finished poset implementation added to the standard library, starting on getting types added and sorting, etc
|
2016-01-20 13:50:40 -05:00 |
|
Nathan Braswell
|
162cc98f30
|
Added for loops
|
2016-01-19 11:47:09 -05:00 |
|
Nathan Braswell
|
ca85edaeee
|
added while loops and fixed unary operators (including correct precrement and decrement)
|
2016-01-19 03:16:16 -05:00 |
|
Nathan Braswell
|
4493dfd861
|
added if_statements
|
2016-01-19 02:06:30 -05:00 |
|
Nathan Braswell
|
458299abe1
|
Add perentheses to all operators so that acutal perentheses are preserved and the kraken order of operations is maintained
|
2016-01-18 18:10:07 -05:00 |
|
Nathan Braswell
|
ac34a550d5
|
Basic math expressions will passthrough now
|
2016-01-18 18:04:34 -05:00 |
|
Nathan Braswell
|
bffedcf2fd
|
Add the abitlity to assign during a declaration and type inference if no type given but there is an expression
|
2016-01-17 01:10:09 -05:00 |
|
Nathan Braswell
|
9c41c2fd12
|
Added in assignment and variable usage
|
2016-01-16 22:14:59 -05:00 |
|
Nathan Braswell
|
bf570f027c
|
Variable declaration added now
|
2016-01-15 19:10:52 -05:00 |
|
Nathan Braswell
|
fe6818edfc
|
working towards function overloading, the emitted functions and function calls are now decorated and we're starting to get the prereqs for function lookup
|
2016-01-13 21:09:28 -05:00 |
|
Nathan Braswell
|
4c569f4f8c
|
Added function calls, printing out of pointers
|
2016-01-11 23:41:09 -05:00 |
|
Nathan Braswell
|
5db0365a63
|
Added indirection to types in prep for function calls, full passthrough, and the first real hello world
|
2016-01-10 18:26:31 -05:00 |
|
Nathan Braswell
|
daae39fe19
|
Added in the beginnings of pass three which can parse and emit statements and code blocks
|
2016-01-07 02:52:22 -05:00 |
|
Nathan Braswell
|
337bc424ee
|
Added in basic transformation and generation for functions
|
2016-01-06 02:46:42 -05:00 |
|
Nathan Braswell
|
f29fdcd463
|
More skeleton, including a trivial second_pass_function, fix a bug with ADTs that have members with the same name (may still be a problem if the ADT itself has the same name)
|
2016-01-05 21:40:00 -05:00 |
|
Nathan Braswell
|
fd6383124c
|
more work on the ast_transformation
|
2015-12-28 03:34:40 -05:00 |
|
Nathan Braswell
|
22b334a2ae
|
Fixed the parse bug. I think it's legal for the post-shift table check to be invalid and you have to account for that in the table
|
2015-12-26 01:52:29 +00:00 |
|
Nathan Braswell
|
d63b680355
|
debugging
|
2015-12-07 13:43:22 -05:00 |
|
Nathan Braswell
|
f753d4f421
|
little more work
|
2015-12-06 18:44:04 -05:00 |
|
Nathan Braswell
|
803b415220
|
get closer to generating real ast/dot
|
2015-12-06 15:15:33 -05:00 |
|
Nathan Braswell
|
4b6693ac1c
|
Fixed add_children to actually add children correctly and only do the ambiguity at the right time. Still have the looking in map with non-existant key problem, but it is actually parsing nicely.
|
2015-08-12 23:15:41 -04:00 |
|