search for: tableml

...may not compile at any given time - but I thought that before I go further I should send a proposal to the list. The WIP code, for the curious, is here: http://github.com/pcwalton/llvm-nw/tree/miniml If TableGen is a language that allows users to specify records of domain-specific information, TableML is designed to be a configuration language that is designed to be allow users to specify how to *construct* records of domain-specific information. TableML has a plugin architecture in which at any given time one of several backends is in use, just as in TableGen. The backends specify one or mo...

...f val RegisterInfo = map make32bit [ "ax", "bx", "cx", "dx" ] It'd probably be nice if it was possible to syntactically distinguish between what is evaluated at run-time and at compile-time (like in Template Haskell). > The subset of Standard ML that TableML supports is essentially > the one shown here: > http://www.macs.hw.ac.uk/ultra/compositional-analysis/ type-error-slicing/slicing.cgi As I understand from this link, TableML supports only lists and some primitive types (no algebraic datatypes). That'd be enough for llvmc, but I can'...

Hi, I've been working on TableML some more and I thought I would see about how I should work on getting it into the tree, since it's nearing a usable state. So far I have a (mostly) working interpreter for a subset of Standard ML. After interpreting a set of definitions, the interpreter passes the resulting values off to...