]> hydra-www.ietfng.org Git - dyna2/commit
Strengthen static types of Inst lattice functions
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 27 Jun 2013 01:54:53 +0000 (21:54 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 27 Jun 2013 01:54:53 +0000 (21:54 -0400)
commitdd634b024b78a61142e5c8cfae98575ed2fe68a4
treeaaf5b5a6d8849bce3e302f04f40cbccdcdac83b0
parentd5e14c3ebc74f2249e15112eb9be00777e0d2127
Strengthen static types of Inst lattice functions

Use parametricity and higher-rank types to force the lop-sided callbacks to
use only non-recursive Insts.
src/Dyna/Analysis/Mode/Execution/Functions.hs
src/Dyna/Analysis/Mode/Execution/FunctionsNoAlias.hs
src/Dyna/Analysis/Mode/Execution/NamedInst.hs
src/Dyna/Analysis/Mode/Inst.hs