RE: hugs and ghc compatibility and features

[Simon Peyton-Jones]

 2. Does the new GHC support TREX? If yes, how does one enable it?

TREX is Mark and Ben's excellent record system for Haskell.
No, GHC doesn't support it.  I'd be interested to know how
high a priority adding TREX would be to GHC users.

Simon

RE: hugs and ghc compatibility and features

[Mark P Jones]

Hi Alex,

| 1. Does hugs now support mutually recursive modules?  

As far as I know, there are no versions of Hugs that support this.
The underlying infrastructure in the Hugs implementation was never
designed with this in mind, and would need some substantial changes.
There is interest in doing this, but it has never been as high up
the list of priorities as, say, general support, type systems
extensions, ffi, or interfacing between GHC and Hugs.

| 2. Does the new GHC support TREX? If yes, how does one enable it?

Sorry, I don't know.

| 3. Are the literate modes now compatible? (they weren't before)

I didn't realize they weren't compatible.  What were the differences?

| 4. Does Hugs now support MPTC, Existential types, etc?
| 
| If so, where is this new version of hugs and how long until public
| release?

Hugs has had these things since March!
(In Hugs 1.3c; see http://www.cs.nott.ac.uk/~mpj/hugs13/)

However, this version of Hugs doesn't have the support for modules
and so on that you are probably used to from 1.4.  We'd originally
hoped that the two systems would have been merged some time ago, but
there were unfortunate delays.  You can, however, expect to hear
some good news on this front in the very near future.

All the best,
Mark

RE: hugs and ghc compatibility and features

[Simon Marlow]

 I have been reading about the integrated runtime system 
 between GHC and
 Hugs.   Now that GHC 4.0 is out, what is the status of the hugs ghc
 integration project?
 
 1. Does hugs now support mutually recursive modules?  

Initially it'll have limited support for mutually recursive compiled
modules, by stuffing them into a single object file.

 2. Does the new GHC support TREX? If yes, how does one enable it?

I'm sorry, I don't know what TREX is.  The only thing that springs to mind
is the band with Marc Bolan, but AltaVista thinks it might be a "A
revolutionary new decking lumber".  Neither of these seem particularly
relevant to GHC :-)

 3. Are the literate modes now compatible? (they weren't before)

I believe Hugs understands the \begin{code}...\end{code} style of literate
programming, if that's what you mean?

 4. Does Hugs now support MPTC, Existential types, etc?

Yes, Hugs 1.3c has these features, but there doesn't exist a released
version of Hugs 1.4 with the new typechecker merged in.  The latest working
sources can however be obtained using the GHC remote CVS repository, take a
look at

http://www.dcs.gla.ac.uk/fp/software/ghc/cvs-cheat-sheet.html

in the new-rts branch of GHC.

Cheers,
Simon

-- 
Simon Marlow 
Microsoft Research Ltd., Cambridge, U.K.
 

hugs and ghc compatibility and features

[S. Alexander Jacobson]

I have been reading about the integrated runtime system between GHC and
Hugs.   Now that GHC 4.0 is out, what is the status of the hugs ghc
integration project?

1. Does hugs now support mutually recursive modules?  
2. Does the new GHC support TREX? If yes, how does one enable it?
3. Are the literate modes now compatible? (they weren't before)
4. Does Hugs now support MPTC, Existential types, etc?

If so, where is this new version of hugs and how long until public
release?

-Alex-

___
S. Alexander Jacobson   i2x Media  
1-212-697-0184 voice1-212-697-1427 fax