diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-09-19 04:55:40 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-09-19 04:55:40 +0000 |
| commit | 56624533fb6f8e045ee3d2b18bd4c5a0246176eb (patch) | |
| tree | ec061ca55f09e984da3ceec2e7eb4f2dc73ba4e4 /parsing/printast.ml | |
| parent | 8fc4a75a01551088be4202d322705a23f1049909 (diff) | |
switched to abstract types, still needs work on exhaustion type. the code needs to be cleaned up. printfs need to be removed
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index e173dcb50..ee52f7d9d 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -747,3 +747,5 @@ let print_expression = expression 0 ;; let print_pattern = pattern 0 ;; +let print_core_type = core_type 0 ;; + |