summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-23 03:18:42 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-23 03:18:42 +0100
commit0aa6c1501aea4bc3ace1061fd62027d74059e615 (patch)
treea2f6d252b11c4b02cec805982184627090dbad6d
parentbbb742cc996b5113027efa9bf51abd4dbb1f5c7d (diff)
downloadpetitcaml-0aa6c1501aea4bc3ace1061fd62027d74059e615.tar.gz
petitcaml-0aa6c1501aea4bc3ace1061fd62027d74059e615.tar.bz2
[petitcaml] Fix stupid typos
-rw-r--r--typing.ml9
1 files changed, 3 insertions, 6 deletions
diff --git a/typing.ml b/typing.ml
index 2fce084..05e1988 100644
--- a/typing.ml
+++ b/typing.ml
@@ -361,15 +361,12 @@ let rec w env e =
let arg_t = w_motif f.arg
and return_t = Tvar (V.create())
in
- let env2 =
- add_motif env f.name (Tarrow (arg_t, return_t))
+ let env2 = add_motif env f.name (Tarrow (arg_t, return_t))
in
let env2 = add_motif env2 f.arg arg_t
in
- let return_t = w env2 f.body
- in
- unify f.body.loc (w env2 f.body) return_t;
- Tarrow (arg_t, return_t)
+ unify f.body.loc (w env2 f.body) return_t;
+ Tarrow (arg_t, return_t)
| Eif (cond, then_expr, else_expr) ->
(* Typage des if :
* On type la condition et les deux expressions de retour