← Back to branch summary

~ubuntu-branches/debian/sid/ocaml/sid

« back to all changes in this revision

Viewing changes to testsuite/tests/typing-recmod/t19ok.ml

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu
  • Date: 2011-04-21 21:35:08 UTC
  • mfrom: (1.1.11 upstream) (12.1.14 sid)
  • Revision ID: james.westby@ubuntu.com-20110421213508-kg34453aqmb0moha
* Fixes related to -output-obj with g++ (in debian/patches):
  - add Declare-primitive-name-table-as-const-char
  - add Avoid-multiple-declarations-in-generated-.c-files-in
  - fix Embed-bytecode-in-C-object-when-using-custom: the closing
    brace for extern "C" { ... } was missing in some cases

Show diffs side-by-side

added added

removed removed

Lines of Context:
testsuite/tests/typing-recmod/t19ok.ml
 
1
(* PR 4758, PR 4266 *)
 
2
 
 
3
module PR_4758 = struct
 
4
  module type S = sig end
 
5
  module type Mod = sig
 
6
    module Other : S
 
7
  end
 
8
  module rec A : S = struct
 
9
  end and C : sig include Mod with module Other = A end = struct
 
10
    module Other = A
 
11
  end
 
12
end
 
13