path: root/mi
AgeCommit message (Collapse)Author
2019-10-23Add a new match compiler implementationMura Li
References: "When Do Match-Compilation Heuristics Matter?" by Kevin Scott and Norman Ramsey Stats: Sample count: 506 Dtree Size avg: 5.38 95th percentile: 3.00 maximum: 100 Dtree Height avg: 1.39 95th percentile: 1.00 maximum: 12 Sample generation: $ MATCH_STATS=1 make bootstrap && mbld -R support/matchstats.myr ./match.csv
2019-02-26Accept that `file` isn't a node.Ori Bernstein
Shrink node sizes, simplify code a bit.
2018-08-18Clean up draining incqueues.Ori Bernstein
We tried to be too smart, and we made bugs. let's do it simpler.
2018-08-17Revert "Fix overlapping match statements (thanks Mako)"Ori Bernstein
This reverts commit beab0276a94c684f938ae5ea3d2c29c3dc331386.
2018-08-11We don't need early breaks.Ori Bernstein
2018-07-19Support direct tuple access operators "tuple.N"Quentin Carbonneaux
This patch adds tuple access expressions. If t is a tuple, its N-th component can be retrieved with the syntax t.N. Of course, the components are zero indexed. I believe the code also works if 't' is a pointer to a tuple (but I have not checked this).
2018-07-09Add match tree debug option.Ori Bernstein
2018-07-08Fix overlapping match statements (thanks Mako)Ori Bernstein
We were overly aggressive in unifying wildcards.
2018-07-06Fix auto expressions for complex values.Quentin Carbonneaux
Hello Myrddin folks, The current code to handle auto expressions does not correctly deal with complex values (i.e., values that do not fit in a register). This patch attempts to fix the issue. -- Quentin
2018-07-01Make '!=' not hard coded as evaluating to '==' for enum unions.Ori Bernstein
2018-07-01Drain increment queues before jumping in matches.Ori Bernstein
2018-06-10Correctly float assignments inside function arguments.Ori Bernstein
2018-03-13Merge branch 'autoexpr' into libmathS. Gilles
2018-03-06Add ternary operator.Ori Bernstein
2018-01-26New auto operator.Quentin Carbonneaux
Summary: -------- During the Myrcon in September Ori suggested an 'auto' operator that would evaluate what it applies to, store the result in a temporary t, and call __dispose__(t) when the current block exits. This patch implements this idea under the form of a unary operator. This, for instance, allows to have: impl disposable regex# = __dispose__ = {r;} ;; regex.exec(auto std.try(regex.compile("")), "foobar") Like before, it is guaranteed that __dispose__ is called in reverse order of auto appearance. Backward compatibility: ----------------------- Nope. Auto variables are now gone. This should not be a problem, simply rewrite: var auto x = foo() into: var x = auto foo() Implementation: --------------- It largely reuses the code I had written for 'auto' variables but needs a little finer grain tracking because we don't always want to call __dispose__ for *all* auto expression results when leaving a block (some might not be evaluated yet). For example: auto 1 if b -> void ;; auto 2 Only __dispose__(1) must be called when '-> void' is executed. If the block falls through, __dispose__(2) and __dispose__(1) will be called in sequence. TODO: ----- - Err when goto jumps in/out of a block that has auto expressions. - Support auto in patterns. match ... | `std.Some (auto x): ... is essentially rewritten to: match ... | `std.Some (auto x): auto x ... - Test edge cases (e.g., auto in loop condition) Actually, test. Cheers,
2018-01-22Embarrassing typo.Ori Bernstein
2018-01-21Allow using the '==' operator on enum-style union.Ori Bernstein
2018-01-21Cheap enums.Quentin Carbonneaux
2017-12-05Error correctly when a const has no init.Ori Bernstein
This happens with externs.
2017-12-05Shift the match frontier correctly.Ori Bernstein
Fixes #159
2017-12-04Handle locally declared extern consts correctly.Ori Bernstein
Ugh. Edge cases.
2017-08-26Let's get happy little rvalues.Ori Bernstein
2017-08-13Give a better error message about incomparable types.Ori Bernstein
2017-07-29Automatic variablesOri Bernstein
Hello, I wrote this patch to start a conversation about resource management in Myrddin. ~ Introduction ~~~~~~~~~~~~~~ The patch attached provides a hopefully life-improving and surely non-invasive mechanism to handle resources that have block-limited lifetimes: automatic variables. This resource-management scheme can be found in multiple languages today. For example, C++ calls destructors automatically at the end of the scope of a variable; similarly, Rust automatically calls user-defined code when a variable's scope ends; finally, also related is Go's defer statement which ensures that resource-releasing code is called at the end of a function. ~ Description ~~~~~~~~~~~~~ The idea is that every "binder" of the language (var/const/ fn args/match) offers the possibility to mark the variables it binds as "automatic" using the 'auto' keyword. An automatic variable must be of a type that implements the new builtin 'disposable' trait below. When the scope of a variable 'v' marked as automatic ends, '__dispose__(v)' is called. That's it. trait disposable @a = __dispose__ : (val : @a -> void) ;; ~ Example Programs ~~~~~~~~~~~~~~~~~~ The language modification is shown in action in the program below. use std impl disposable int = __dispose__ = {x std.put("__dispose__({})\n", x) } ;; const g = {auto x -> x++ - 1 } const main = { var auto i, auto j = 42 for i = 1; i < 6; i=i+1 var auto z : int = 2*i if i == 3 std.put("z = {} -- cont\n", z) continue ;; std.put("z = {}\n", z) if i/2 == 2 var auto inner : int = 1234 break ;; ;; i = g(321) } The output of the previous test program is: 1: z = 2 2: __dispose__(2) 3: z = 4 4: __dispose__(4) 5: z = 6 -- cont 6: __dispose__(6) 7: z = 8 8: __dispose__(1234) 9: __dispose__(8) 10: __dispose__(322) 11: __dispose__(42) 12: __dispose__(320) Some important remarks: * Unlike Go, __dispose__ is called as soon as the scope of a variable ends, not at the end of the function. In particular, the variable 'z' in the example is always disposed of before starting the next iteration. (An iteration ends the loop body block.) * __dispose__ is called in reverse order of declaration This allows variables to depend on resources of variables already in scope. * Regardless of how a block is exited (fallthrough, break, continue, return), variables of the blocks left are disposed of in reverse order and exactly once. * As line 10 of the output shows, the __dispose__ calls happen "after" the return statement of the function. (It happens after the post-increment, so x's value when it is disposed of is 322.) The following example shows that, using an ad hoc type, it is possible to execute arbitrary code at the end of a scope. type defer = (-> void) impl disposable defer = __dispose__ = {f: defer; f()} ;; const foobar = {... const auto _dummy = ({ std.put("Bye!\n") }: defer) ... } ~ Discussion ~~~~~~~~~~~~ Multiple alternatives exist for resource management, and hopefully this mail starts an interesting debate. According to me, here are the pros and cons of the current proposal: - PROS - * Opt-in * Backward compatible * Simple * The spirit of C's original auto * It has an implementation - CONS - * No safety guarantees/compiler checks whatsoever * Syntactic pollution: 'auto' keyword, 'disposable' trait Finally, note that the current patch does not implement auto support for variables bound in match statements. This will come in a followup patch if there is sufficient interest. Also, the patch does not provide proper support (or proper errors) for gotos and labels.
2017-07-10Clean up conditions in trait satisfaction.Ori Bernstein
2017-07-09Style(9)-ify.Ori Bernstein
2017-07-08Break up overly long statements.Ori Bernstein
A monster function declaration and if condition.
2017-07-08Allow matching of empty structs and arraysS. Gilles
2017-06-28Remove unused memb from Trait and rename funcs -> protoMichael Forney
These are prototype declarations that must be implemented by the impl (not necessarily functions), so proto seems like a better name.
2017-06-24Miscellaneous typo/formatting fixesMichael Forney
2017-01-28Describe lvalues and rvalues.Ori Bernstein
2017-01-23Fix decrement in while loop.Ori Bernstein
Fixes #70
2016-12-06Reduce memory usage.Ori Bernstein
2016-10-09Fix bug with postinc returns.Ori Bernstein
We were draining the postinc queue before the rval. Oops.
2016-08-21Fix handling of pointers in match.Ori Bernstein
2016-08-13Don't generate loops in trees.Ori Bernstein
We only want to append to last if we're actaully expanding the match frontier. It's a bug to add it if it's unused.
2016-04-04Fix matching.Ori Bernstein
TODO: understand why. The appending of the start state shoudl be a bug.
2016-03-07Fix missing null terminator.Ori Bernstein
Fixes #108
2016-02-26Fix some generated asm for plan9.Ori Bernstein
2016-02-26Fix compile of C codeOri Bernstein
2016-02-24Fix destructuring of nested tuples.Ori Bernstein
Fixes #92
2016-02-22Fix uniniitalized variable use.Ori Bernstein
2016-02-22Extract util functions into separate dir from parse/Ori Bernstein
2016-02-22Remove comments.Ori Bernstein
2016-02-20Move more operators to flatten.Ori Bernstein
preinc, predec, comparison conversions.
2016-02-20Move more code to flatten.cOri Bernstein
2016-02-20Start refactoringOri Bernstein
Split flattening and lowering.
2016-01-30Error on unmatchable types.Ori Bernstein
2016-01-29Functions act as basic types.Ori Bernstein
Fixes #65
2016-01-24Only walk pointer patterns that walk pointers.Ori Bernstein