
29 Jul
2008
29 Jul
'08
5:43 p.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
data Target = Target TargetId (Maybe (StringBuffer,ClockTime))
looks great. How is this intended to be used, i.e. what should happen if there is an "edit/save" event in the IDE? Then the IDE constructs a new StringBuffer from the buffer contents and sends it to the GHC API? (what call?) thanks - J.W. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.9 (GNU/Linux) Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org iEYEARECAAYFAkiPVqsACgkQDqiTJ5Q4dm9ZsgCfT/GqfQmqIkFx4a1vL0Bg44nM YnUAoKEK7PSnMVOIVOoaaCu6zzOHje3s =1c4v -----END PGP SIGNATURE-----