back to original

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer · Dec 10, 2010 · b764550 · b764550
1 parent 80b18d1
commit b764550
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/testsuite/tests/typing-gadts/test.ml b/testsuite/tests/typing-gadts/test.ml
@@ -13,10 +13,12 @@ module Exp =
       function
 	| IntLit x -> x
 	| BoolLit y -> y
-	| Pair (x,y) -> (eval x,eval y)
+	| Pair (x,y) ->
+            (eval x,eval y)
 	| App (f,a) ->
-	  (eval f) (eval a)
+	    (eval f) (eval a)
 	| Abs f -> f 
+
   end
 ;;