Daniel Gorín wrote:
On Jul 29, 2008, at 2:43 PM, Johannes Waldmann wrote:
-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
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Dear all, how does ghci (actually, the ghc API functions)
access the file system?
(It needs to check whether source files had been updated.)
Is it possible to insert an abstraction layer there?
E.g. imagine the sources are not on the file system,
but
Hi
If you just want to compile from (Eclipse) edit buffers instead of
source files, I think you can do this with the ghc api. Look at the
Target type.
The following is pasted from main/HscTypes.lhs
-- | A compilation target.
--
-- A target may be supplied with the actual text of the
--
-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
On Jul 29, 2008, at 2:43 PM, Johannes Waldmann wrote:
-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