projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a56c250) | patch
Tag declarations with their location.
authorGuillaume Combette <guillaume.combette@ens-lyon.fr>
Tue, 12 Jul 2016 15:58:52 +0000 (17:58 +0200)
committerGuillaume Combette <guillaume.combette@ens-lyon.fr>
Tue, 12 Jul 2016 15:58:52 +0000 (17:58 +0200)
commitf8505f9f66e4d53d1c2da0ef9f021ac7dd8f8a12
tree2b790eb830a872dae96035a577a145157253e9eftree | snapshot
parenta56c25011ff895c7438371858b3536d8659b7881commit | diff
Tag declarations with their location.

This speeds up the comparison of environments in the common case of
identical declarations.
CTT.hs diff | blob | blame | history
Eval.hs diff | blob | blame | history
Resolver.hs diff | blob | blame | history
TypeChecker.hs diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.