patch applied (hat): Modified hat-trans to compile with the new extended position type Pos.

10 Oct
2006
10 Oct
'06
7:28 a.m.
Fri Jul 30 06:27:20 PDT 2004 olaf * Modified hat-trans to compile with the new extended position type Pos. However, the additional end line and column of a position are currently ignored. M ./src/hattrans/AuxFixity.hs -1 +1 M ./src/hattrans/TraceTrans.hs -3 +3
6801
Age (days ago)
6801
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace