diff options
author | davve <davve@dtek.chalmers.se> | 2007-02-04 19:16:25 +0000 |
---|---|---|
committer | davve <davve@dtek.chalmers.se> | 2007-02-04 19:16:25 +0000 |
commit | 04249c7e9898a1340d8186763fa25901e582208b (patch) | |
tree | 8fa2e2e5bbab34b6b2daab48c4f1d721b1b99655 /src/FastMutInt2.hs | |
parent | ab6cfc49cc33eaa2879f4e615f10ef0a1d3f362a (diff) |
Add GADT support (quite untested)
Diffstat (limited to 'src/FastMutInt2.hs')
0 files changed, 0 insertions, 0 deletions