jstolarek / dsh

Database-Supported Haskell

Jan Stolarek's personal homepage

This page is built on Hakyll. Building and running a local server:

cabal run site clean && cabal run site watch

dsh's Issues

Warning after a rebase

[111 of 120] Compiling Database.DSH.VSL.Vectorize ( src/Database/DSH/VSL/Vectorize.hs, dist/build/Database/DSH/VSL/Vectorize.o )

src/Database/DSH/VSL/Vectorize.hs:116:5: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative: Patterns not matched: (GroupAgg _)
    |
116 |     case f of
    |     ^^^^^^^^^..

Investigate & fix.

Geneate QLTable instances using TH

Implement missing lineage translation for tuples

Generate $impossible instead of undefined

TH code that generates code to handle in lineage transform generates calls to undefined, but it should insert $impossible instead.

Get rid of Let bindings

They don't work anyway

Lineage broken for some FL primitives

Lineage for q1map and q1reverse queries is broken, although it used to work

Write LT instances for where provenance

This should allow to compose lineage and where provenance and fix queries in LineagePolyKeys

Simplify DReify

It should be possible to eliminate the Proxy argument from DReify and essentially turn it into Type a