diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-11-15 04:32:21 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-11-15 04:32:21 +0000 |
| commit | 81b859245bbcb34b4babbc81b947db7c9b19bbd2 (patch) | |
| tree | 14b51afa8dd7155ee485c95ad613c8b3ef3ec0ee | |
| parent | b36e845126fd28a21c9477a4a3f2dc48e5a3ea06 (diff) | |
| download | ocaml-81b859245bbcb34b4babbc81b947db7c9b19bbd2.tar.gz | |
fix printing bug
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/path.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/path.ml b/typing/path.ml index 0d8ebc6f1e..be66a7d1df 100644 --- a/typing/path.ml +++ b/typing/path.ml @@ -41,7 +41,8 @@ let kfalse x = false let rec name ?(paren=kfalse) = function Pident id -> Ident.name id - | Pdot(p, s, pos) -> name ~paren p ^ if paren s then ".( " ^ s ^ " )" else s + | Pdot(p, s, pos) -> + name ~paren p ^ if paren s then ".( " ^ s ^ " )" else "." ^ s | Papply(p1, p2) -> name ~paren p1 ^ "(" ^ name ~paren p2 ^ ")" let rec head = function |