Mach7

Mach7 copied to clipboard

Constructor pattern limited to at most 4 arguments?

2

If I call the function Template C as follows ``` C++ Match(foo){ Case(C(arg0, arg1, arg2, arg3)){ /* ... */ } Otherwise(){/*...*/} } EndMatch ``` everything works as expected. However, if...

forflo

[maybe bug] Nested matching always chooses first case

4

given the following class hierarchy ``` c++ struct Expression {}; struct ExpBinary : Expression { Expression *left, *right; ExpBinary(Expression *o1, Expression *o2) : left(o1) , right(o2) {} }; struct ExpArith...

forflo

I'm quite new to C++ and it's templating system. Mach7 is another intriguing evidence for the power of template metaprogramming. Currently I'm using Mach7 based on idioms that I learned...

forflo

Right now bindings generate non-generic names member0, member1, ..., memberN. Replace them with generic equivalents that can be accessed with variadic templates etc.

solodon4

This is not a Mach7 bug per se, likely an Apple one, but this tracks the fact that the use of __builtin_assume is currently commented out for clang. This started...

solodon4

[adapt_boost_variant.hpp](https://github.com/solodon4/Mach7/blob/master/code/mach7/adapters/boost/adapt_boost_variant.hpp) is a good start, but it isn't enough to understand the concept. E.g., what is `subtype_cast_impl` for? How Am I supposed to say that a reference to super-type should...

akrzemi1

Match on boost::variant is much slower than visitor based solution in Release build

3

On Dec 12, 2014, at 15:23, Andrzej Krzemienski wrote: Hi Yuriy, I have made a simple benchmark of visiting boost::variant with Mach7 vs using boost::static_visitor. Here is the code of...

solodon4

Mach7 with variant: cannot access the matched sub-object

4

I am using the library to switch on `boost::variant` and inspect/modify a given sub-type, as per the example below. This doesn't work, because (to my knowedge) there is no way...

akrzemi1

adapt_boost_variant: how to say 'any sub-type of a variant'?

8

I am trying to do a type switch on two variants, as per the example below. My intention is to match the case where the left-hand object 'tank' has the...

akrzemi1

Question from email: Is that possible the Constructor pattern is used without C(P) ? when I read the paper in Open Pattern Matching For C++, it says Constructor pattern should...

solodon4