Skip to content

Changes

Page history
Edit RelaxedDependencyAnalysis authored by john@repetae.net's avatar john@repetae.net
Hide whitespace changes
Inline Side-by-side
relaxed-dependency-analysis.md
View page @ 74b1a1d7
......@@ -25,7 +25,7 @@ As with many operations on non-regular (or nested) types, `zig` and `zag` need t
However GHC, Hugs and Nhc98 follow the suggestion of Mark Jones in [ Typing Haskell in Haskell](http://www.cse.ogi.edu/~mpj/thih/), that the dependency analysis should ignore references to variables that have an explicit type signature. Hence `zag` does not depend on `zig`, and we can infer the type
However GHC, Hugs, Nhc98, and jhc follow the suggestion of Mark Jones in [ Typing Haskell in Haskell](http://www.cse.ogi.edu/~mpj/thih/), that the dependency analysis should ignore references to variables that have an explicit type signature. Hence `zag` does not depend on `zig`, and we can infer the type
```wiki
......