Ad
  • Custom User Avatar

    Haskell random test queries are way more liberal on whitespace than the grammar (whitespace at beggining/end of query, arbitrary whitespace instead of a single space after "SELECT", "FROM" etc.).

    I would consider these bugs in the description rather than the test cases.

  • Custom User Avatar

    Description updated: both approaches are mentioned now.
    In Test Cases random types are generated, and I don't know how to do it without Proxy-s and existentials, so I cannot completely avoid using Proxy.

  • Custom User Avatar

    This comment is hidden because it contains spoiler information about the solution