diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in
index dee743128..15907fb17 100644
--- a/infer/src/Makefile.in
+++ b/infer/src/Makefile.in
@@ -339,3 +339,10 @@ endif
 	$(REMOVE) $(CLANG_ATDGEN_STUBS)
 	$(REMOVE) $(INFER_CLANG_FCP_MIRRORED_FILES)
 	$(REMOVE) mod_dep.dot
+
+# convert to reason
+%.re : %.ml
+	refmt -assume-explicit-arity -heuristics-file unary.txt -parse ml -print re $< > $*.re
+
+%.rei : %.mli
+	refmt -assume-explicit-arity -heuristics-file unary.txt -parse ml -print re $< > $*.rei
diff --git a/infer/src/unary.txt b/infer/src/unary.txt
new file mode 100644
index 000000000..511af2815
--- /dev/null
+++ b/infer/src/unary.txt
@@ -0,0 +1,148 @@
+Adiv0
+ArraySubscriptExpr
+AttributedType
+BinaryConditionalOperator
+BinaryOperator
+BlockDecl
+BlockExpr
+BlockPointerType
+BreakStmt
+BuiltinType
+C
+CapturedDecl
+CStyleCastExpr
+CXXBindTemporaryExpr
+CXXBoolLiteralExpr
+CXXCatchStmt
+CXXConstCastExpr
+CXXConstructExpr
+CXXConstructorDecl
+CXXConversionDecl
+CXXDefaultArgExpr
+CXXDefaultInitExpr
+CXXDeleteExpr
+CXXDestructorDecl
+CXXDynamicCastExpr
+CXXForRangeStmt
+CXXFunctionalCastExpr
+CXXMemberCallExpr
+CXXMethodDecl
+CXXNewExpr
+CXXNullPtrLiteralExpr
+CXXOperatorCallExpr
+CXXRecordDecl
+CXXReinterpretCastExpr
+CXXScalarValueInitExpr
+CXXStaticCastExpr
+CXXStdInitializerListExpr
+CXXTemporaryObjectExpr
+CXXThisExpr
+CXXThrowExpr
+CXXTryStmt
+CXXTypeidExpr
+CallExpr
+CaseStmt
+CharacterLiteral
+ClassTemplateDecl
+ClassTemplateSpecializationDecl
+CompoundAssignOperator
+CompoundLiteralExpr
+CompoundStmt
+Condition_redundant
+ConditionalOperator
+ConstantArrayType
+ContinueStmt
+DecayedType
+DeclRefExpr
+DeclStmt
+DefaultStmt
+DependentSizedArrayType
+DoStmt
+EnumConstantDecl
+EnumDecl
+EnumType
+Esub_entry
+ExprWithCleanups
+FieldDecl
+FloatingLiteral
+ForStmt
+FunctionDecl
+FunctionNoProtoType
+FunctionProtoType
+FunctionTemplateDecl
+GCCAsmStmt
+GNUNullExpr
+GenericSelectionExpr
+GotoStmt
+IfStmt
+ImplOK
+ImplicitCastExpr
+ImplicitValueInitExpr
+IncompleteArrayType
+InitListExpr
+IntegerLiteral
+LambdaExpr
+LValueReferenceType
+LabelStmt
+LinkageSpecDecl
+MaterializeTemporaryExpr
+MemberExpr
+NamespaceDecl
+NonBottom
+NullStmt
+ObjCArrayLiteral
+ObjCAtCatchStmt
+ObjCAtFinallyStmt
+ObjCAtSynchronizedStmt
+ObjCAtThrowStmt
+ObjCAtTryStmt
+ObjCAutoreleasePoolStmt
+ObjCBoolLiteralExpr
+ObjCBoxedExpr
+ObjCBridgedCastExpr
+ObjCCategoryDecl
+ObjCCategoryImplDecl
+ObjCDictionaryLiteral
+ObjCEncodeExpr
+ObjCForCollectionStmt
+ObjCImplementationDecl
+ObjCIndirectCopyRestoreExpr
+ObjCInterfaceDecl
+ObjCInterfaceType
+ObjCIvarDecl
+ObjCIvarRefExpr
+ObjCMessageExpr
+ObjCMethodDecl
+ObjCObjectPointerType
+ObjCObjectType
+ObjCPropertyDecl
+ObjCPropertyImplDecl
+ObjCPropertyRefExpr
+ObjCProtocolDecl
+ObjCProtocolExpr
+ObjCSelectorExpr
+ObjCStringLiteral
+ObjCSubscriptRefExpr
+OpaqueValueExpr
+Parameter_annotation_inconsistent
+ParenExpr
+ParenType
+ParmVarDecl
+PointerType
+PredefinedExpr
+PseudoObjectExpr
+RValueReferenceType
+RecordDecl
+RecordType
+ReturnStmt
+SizeOfPackExpr
+StmtExpr
+StringLiteral
+SwitchStmt
+TranslationUnitDecl
+TypedefType
+UnaryExprOrTypeTraitExpr
+UnaryOperator
+VarDecl
+VariableArrayType
+WhileStmt