Christian Klinger

A beginner's feedback

1

Hi, in the last days I experimented a little with Reflex & Obelisk and I thought, maybe someone could find this feedback useful. Please feel free to ignore it. Otherwise,...

Is this a bug?

7

Hello, I stumbled upon the following phenomenon: Consider this file `interesting-simplified.c`: ```c > cat interesting-simplified.c extern void __VERIFIER_error() __attribute__((__noreturn__)); void __VERIFIER_assert(int cond) { if (!cond) { ERROR: __VERIFIER_error(); } }...

Hi, first of all I want to say that this library is awesome! Nonetheless do I think that there is a small bug in the query generation. I am currently...

The schema should be much simpler than before: required columns: * `unit_id` (aka package) * `module` * `occName` * `srcSpan`

Feature Request: Is it possible to analyse a subset of stackage?

1

This might also be interesting for developement, to test changes quickly.

Hi everyone, I was already talking a bit with lambdageek on reddit (InformalInflation, that's me). In short, I have this use case where I would like to apply some tranformations...