projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7dcbdc) | patch
Added utility to uniquely identify ghc repo states
authorDavid M Peixotto <dmp@rice.edu>
Sun, 22 May 2011 19:30:22 +0000 (14:30 -0500)
committerDavid M Peixotto <dmp@rice.edu>
Sun, 22 May 2011 19:30:22 +0000 (14:30 -0500)
commit36df2f39af4d132dac4acbc11a271a95e2254e42
tree008aadaf81ff8098a8847064a3604986b71dcebdtree | snapshot
parente7dcbdc7b68275d23debfec5f17074c55212eeb1commit | diff
Added utility to uniquely identify ghc repo states

This commit adds fingerprint.py python script that can be used to
create and restore "fingerprints" of a ghc repo configuration. A
fingerprint is a list of (sub-repo, commit) pairs. It can be used in
place of git submodules to record and reinstate the entire commit
state of the git repos used by ghc.
utils/fingerprint/fingerprint.py [new file with mode: 0755] blob
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)