search

HazyResearch / ddlog

Compiler for writing DeepDive applications in a Datalog-like language — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👇🏿
https://github.com/HazyResearch/deepdive/tree/master/compiler/ddlog
19 stars 4 forks source link

Turn all warnings into errors so we catch them at build time #79

Open netj opened 8 years ago

netj commented 8 years ago

Some important warnings should fail the build, such as non-exaustive pattern matching, motivated by #77.