]> Git — Sourcephile - doclang.git/commit
DTC: better handling of errors in judgments
authorJulien Moutinho <julm+hdoc@autogeree.net>
Tue, 18 Dec 2018 11:11:04 +0000 (11:11 +0000)
committerJulien Moutinho <julm+hdoc@autogeree.net>
Tue, 18 Dec 2018 11:11:04 +0000 (11:11 +0000)
commit50b1fc337334595445260a05b4f3da939dc7915a
tree32d88a14ce41f122a48b9cc88ae90829e6646a3a
parent686f4822affae0a941bbd15a4cdcaf3616a75aec
DTC: better handling of errors in judgments
Hdoc/DTC/Analyze/Check.hs
Hdoc/DTC/Analyze/Collect.hs