copton / ocram Goto Github PK

Currently the Print module is aware of the ENodeInfo and Breakpoint types. In order to submit this code back to Language.C we need to abstract these types away. See Print.hs for a first try.

---8<---
if (cond && critical())
--->8----

is not equal to
---8<---
int tmp = critical();
if (cond && tmp)
--->8---

Type class for name of things

lazy visitor

blocking function list

Currently the patch to pretty print only logs the beginning of a DocL. We also need to log the end of it.

Applications:

• map between P- and E-rows of the closing bracket of a function. GDB steps there when the function returns

merge type and impl modules

critical function list

Pretty printer for ASTs

typedef struct {
int x;
int y;
} Foo;

int main()
{
Foo foo;
foo = (Foo){1,2};
}