kthielen

I think that the only reason that this is allowed is because both field projection and construction go through the `recfieldname` grammar term. Tuple indexing looks like `p.3` because tuples...

That's a nice find, also pretty mysterious where that "_SP_" comes from since it's nowhere in the source string or the regex. I also reproduced this behavior, and for what...

I am sorry if the `Unqualifier` business in C++ really did upset you. The main reason that I added those was to connect hobbes to existing systems where we could...

> Let's now do something with the ExprPtr representation of a type, and write recordHeadLabel > > // hide any fields that aren't the head, and rename the head field...

Oh I see, that's awesome! Yeah it should only need to compile and run once then, and maybe we turn down back-end optimizations a little (if the LLVM step is...

No problem, it was a small issue on some platforms/compilers and I fixed it. We use hobbes in a variety of different projects with different levels of strictness, so I've...

That printf example is excellent. I see how it stages evaluation so that format string processing happens at compile-time (and the format string type is equivalent to the unit type...

That's good to hear, maybe the quote syntax is helpful as a visual cue that this part happens at an earlier stage. This is a really good start and we...

I think that we should add some tests around this, given that it's kind of a subtle feature and we want to capture the valuable things you've highlighted here. Maybe...

> printf(`"Hello %s %d!"`, ("World", 3)) Trying this example with an LLVM 3.5 debug mode build on macOS, for some reason the process hangs and eventually gets killed. But when...