X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fbugs.xml;h=803f9a89064c5660f2855c2ea60e626a3a73d989;hb=1c1ed8694bdd24b003fa5935d001a1835e9b0f4e;hp=50ffb399a43a9c574af135cb022f9d998f5bfe5a;hpb=f9d8c0acef9983e87b6354b87f2a577be2e8dd51;p=ghc-hetmet.git
diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index 50ffb39..803f9a8 100644
--- a/docs/users_guide/bugs.xml
+++ b/docs/users_guide/bugs.xml
@@ -98,14 +98,28 @@ main = do args <- getArgs
GHC's typechecker makes all pattern bindings monomorphic
by default; this behaviour can be disabled with
- . See -XNoMonoPatBinds. See .Module system and interface files
- None known.
+ GHC requires the use of hs-boot
+ files to cut the recursive loops among mutually recursive modules
+ as described in . This more of an infelicity
+ than a bug: the Haskell Report says
+ (Section 5.7) "Depending on the Haskell
+ implementation used, separate compilation of mutually
+ recursive modules may require that imported modules contain
+ additional information so that they may be referenced before
+ they are compiled. Explicit type signatures for all exported
+ values may be necessary to deal with mutual recursion. The
+ precise details of separate compilation are not defined by
+ this Report."
+
+
+
@@ -178,15 +192,21 @@ checking for duplicates. The reason for this is efficiency, pure and simple.
-
- Strings treated as ISO-8859-1
-
-
- Various library functions, such as putStrLn,
- treat Strings as if they were ISO-8859-1 rather than UTF-8.
-
-
-
+
+ hGetContents
+
+
+ Lazy I/O throws an exception if an error is
+ encountered, in contrast to the Haskell 98 spec which
+ requires that errors are discarded (see Section 21.2.2
+ of the Haskell 98 report). The exception thrown is
+ the usual IO exception that would be thrown if the
+ failing IO operation was performed in the IO monad, and can
+ be caught by System.IO.Error.catch
+ or Control.Exception.catch.
+
+
+
@@ -284,6 +304,24 @@ checking for duplicates. The reason for this is efficiency, pure and simple.
+
+
+ Divergence from the FFI specification
+
+
+
+ hs_init() not allowed
+ after hs_exit()
+
+ The FFI spec requires the implementation to support
+ re-initialising itself after being shut down
+ with hs_exit(), but GHC does not
+ currently support that.
+
+
+
+
+
@@ -401,7 +439,6 @@ Loading package javavm ... linking ... WARNING: Overflown relocation field (# re