Original-Via: uk.ac.ed.aiai; Tue, 15 Oct 91 17:08:55 BST
> | Our Haskell in Haskell compiler modules are often unavoidably mutually
> | recursive. For small programs you may be right, but for large programs
> | mutually recursive modules are almost inevitable:
> |
> | i)
Original-Via: uk.ac.ed.mrcvax; Tue, 15 Oct 91 16:19:08 BST
| Our Haskell in Haskell compiler modules are often unavoidably mutually
| recursive. For small programs you may be right, but for large programs
| mutually recursive modules are almost inevitable:
|
| i)
Original-Via: uk.ac.st-and.cs; Tue, 15 Oct 91 14:54:37 BST
> > Tony Davie's remarks prompt me to ask: "Who needs mutually recursive modules
> > anyway?". I've never missed the facility in Miranda and my programs
> > are much the clearer for it --- module dependency diagrams with NO
> > dir
Original-Via: uk.ac.nsf; Tue, 15 Oct 91 14:44:45 BST
> Tony Davie's remarks prompt me to ask: "Who needs mutually recursive modules
> anyway?". I've never missed the facility in Miranda and my programs
> are much the clearer for it --- module dependency diagrams with NO
> directed cycles --- b
Original-Via: uk.ac.ox.prg; Tue, 15 Oct 91 14:09:41 BST
| Tony Davie's remarks prompt me to ask: "Who needs mutually recursive modules
| anyway?". I've never missed the facility in Miranda and my programs
| are much the clearer for it --- module dependency diagrams with NO
| directed cycles ---
X-Comment1: #
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail#
X-Comment4: # administrator to update your NRS & mailer tables. #
X-
Original-Via: uk.ac.ed.mrcvax; Tue, 15 Oct 91 11:25:31 BST
Tony Davie's remarks prompt me to ask: "Who needs mutually recursive modules
anyway?". I've never missed the facility in Miranda and my programs
are much the clearer for it --- module dependency diagrams with NO
directed cycles --- blis
Original-Via: uk.ac.st-and.cs; Tue, 15 Oct 91 10:17:24 BST
IS DEPENDENCY ANALYSIS WELL ENOUGH DEFINED?
1) When module A needs exported items from module B, it need only see its
interface for compilation of A to be carried out.
In fact an implementation of B need not exist yet.(section 5.1.1)
2)
