diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-10-19 05:24:36 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-10-19 05:24:36 +0000 |
| commit | a1910000e316a501b0a78faadc54428327ea1913 (patch) | |
| tree | f72bfefa1f5e6d06195f87b01c39668d3af34e1c /typing/subst.ml | |
| parent | 7f749ff335a5c62254334da8f69c05d8d7e441e1 (diff) | |
fixed bug in syntax extension. Made unification of variants and objects local. Removed personal comments
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/subst.ml')
| -rw-r--r-- | typing/subst.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/subst.ml b/typing/subst.ml index 435ed289d..490ae42a9 100644 --- a/typing/subst.ml +++ b/typing/subst.ml @@ -169,7 +169,7 @@ let type_declaration s decl = | Type_variant cstrs -> Type_variant( List.map (fun (n, args) -> - (n, List.map (typexp s) args)) (* GAH: WHAT DOES typexp DO? *) + (n, List.map (typexp s) args)) cstrs) | Type_generalized_variant cstrs -> Type_generalized_variant( @@ -177,7 +177,7 @@ let type_declaration s decl = let ret_type_opt = Misc.may_map (typexp s) ret_type_opt in - (n, List.map (typexp s) args,ret_type_opt)) (* GAH: WHAT DOES typexp DO? *) + (n, List.map (typexp s) args,ret_type_opt)) cstrs) | Type_record(lbls, rep) -> Type_record( |