From 08546ce7bba19e2988b4c517b30ef7f145a458e3 Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Fri, 20 May 2016 01:49:30 -0700 Subject: [PATCH] Move vim comments up. Reviewed By: chenglou Differential Revision: D3327580 fbshipit-source-id: a7493e3 --- infer/src/IR/AttributesTable.re | 5 +++-- infer/src/IR/AttributesTable.rei | 5 +++-- infer/src/IR/Cfg.re | 5 +++-- infer/src/IR/Cfg.rei | 5 +++-- infer/src/IR/Cg.re | 5 +++-- infer/src/IR/Cg.rei | 5 +++-- infer/src/IR/Csu.re | 5 +++-- infer/src/IR/Csu.rei | 5 +++-- infer/src/IR/Ident.re | 5 +++-- infer/src/IR/Ident.rei | 5 +++-- infer/src/IR/Location.re | 5 +++-- infer/src/IR/Location.rei | 5 +++-- infer/src/IR/Mangled.re | 5 +++-- infer/src/IR/Mangled.rei | 5 +++-- infer/src/IR/ProcAttributes.re | 5 +++-- infer/src/IR/ProcAttributes.rei | 5 +++-- infer/src/IR/Procname.re | 5 +++-- infer/src/IR/Procname.rei | 5 +++-- infer/src/IR/Pvar.re | 5 +++-- infer/src/IR/Pvar.rei | 5 +++-- infer/src/IR/Sil.re | 5 +++-- infer/src/IR/Sil.rei | 5 +++-- infer/src/IR/Tenv.re | 5 +++-- infer/src/IR/Tenv.rei | 5 +++-- infer/src/IR/Typename.re | 5 +++-- infer/src/IR/Typename.rei | 5 +++-- 26 files changed, 78 insertions(+), 52 deletions(-) diff --git a/infer/src/IR/AttributesTable.re b/infer/src/IR/AttributesTable.re index e47f746b4..f43b3516b 100644 --- a/infer/src/IR/AttributesTable.re +++ b/infer/src/IR/AttributesTable.re @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/AttributesTable.rei b/infer/src/IR/AttributesTable.rei index 3c0711ba5..77f174c07 100644 --- a/infer/src/IR/AttributesTable.rei +++ b/infer/src/IR/AttributesTable.rei @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Cfg.re b/infer/src/IR/Cfg.re index 546d3fb9c..8a8725452 100644 --- a/infer/src/IR/Cfg.re +++ b/infer/src/IR/Cfg.re @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Cfg.rei b/infer/src/IR/Cfg.rei index 4c2138847..92c9d385d 100644 --- a/infer/src/IR/Cfg.rei +++ b/infer/src/IR/Cfg.rei @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Cg.re b/infer/src/IR/Cg.re index bc9b5b93c..b20f7fc84 100644 --- a/infer/src/IR/Cg.re +++ b/infer/src/IR/Cg.re @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Cg.rei b/infer/src/IR/Cg.rei index 79bd5b650..fd79c1e24 100644 --- a/infer/src/IR/Cg.rei +++ b/infer/src/IR/Cg.rei @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Csu.re b/infer/src/IR/Csu.re index 2b3ac9c4b..82da96564 100644 --- a/infer/src/IR/Csu.re +++ b/infer/src/IR/Csu.re @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Csu.rei b/infer/src/IR/Csu.rei index 1d3d8b00a..70675e89d 100644 --- a/infer/src/IR/Csu.rei +++ b/infer/src/IR/Csu.rei @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Ident.re b/infer/src/IR/Ident.re index c9599c161..e9abcfab7 100644 --- a/infer/src/IR/Ident.re +++ b/infer/src/IR/Ident.re @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Ident.rei b/infer/src/IR/Ident.rei index 855f950a9..47deb6d8d 100644 --- a/infer/src/IR/Ident.rei +++ b/infer/src/IR/Ident.rei @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Location.re b/infer/src/IR/Location.re index a855030fc..dee99aa6b 100644 --- a/infer/src/IR/Location.re +++ b/infer/src/IR/Location.re @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Location.rei b/infer/src/IR/Location.rei index fe8c59667..da2c18b25 100644 --- a/infer/src/IR/Location.rei +++ b/infer/src/IR/Location.rei @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Mangled.re b/infer/src/IR/Mangled.re index cf197a18c..bbafc4e9a 100644 --- a/infer/src/IR/Mangled.re +++ b/infer/src/IR/Mangled.re @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Mangled.rei b/infer/src/IR/Mangled.rei index ad644b353..eb1d53062 100644 --- a/infer/src/IR/Mangled.rei +++ b/infer/src/IR/Mangled.rei @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/ProcAttributes.re b/infer/src/IR/ProcAttributes.re index 62022c7d0..e1e0da5d6 100644 --- a/infer/src/IR/ProcAttributes.re +++ b/infer/src/IR/ProcAttributes.re @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/ProcAttributes.rei b/infer/src/IR/ProcAttributes.rei index c26e65aa1..a58d74ee0 100644 --- a/infer/src/IR/ProcAttributes.rei +++ b/infer/src/IR/ProcAttributes.rei @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Procname.re b/infer/src/IR/Procname.re index abcc764b7..9693fdbec 100644 --- a/infer/src/IR/Procname.re +++ b/infer/src/IR/Procname.re @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Procname.rei b/infer/src/IR/Procname.rei index 930c5c0ce..69c7b98ef 100644 --- a/infer/src/IR/Procname.rei +++ b/infer/src/IR/Procname.rei @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Pvar.re b/infer/src/IR/Pvar.re index 140973392..b24a9ff7c 100644 --- a/infer/src/IR/Pvar.re +++ b/infer/src/IR/Pvar.re @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Pvar.rei b/infer/src/IR/Pvar.rei index d6470a1be..1b7ad4108 100644 --- a/infer/src/IR/Pvar.rei +++ b/infer/src/IR/Pvar.rei @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Sil.re b/infer/src/IR/Sil.re index a6fe33a3f..58a09995f 100644 --- a/infer/src/IR/Sil.re +++ b/infer/src/IR/Sil.re @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Sil.rei b/infer/src/IR/Sil.rei index 19a02553a..555907052 100644 --- a/infer/src/IR/Sil.rei +++ b/infer/src/IR/Sil.rei @@ -1,4 +1,7 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2009 - 2013 Monoidics ltd. * Copyright (c) 2013 - present Facebook, Inc. * All rights reserved. @@ -6,8 +9,6 @@ * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Tenv.re b/infer/src/IR/Tenv.re index a7d91f376..c3bada373 100644 --- a/infer/src/IR/Tenv.re +++ b/infer/src/IR/Tenv.re @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2016 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Tenv.rei b/infer/src/IR/Tenv.rei index 40c7afe62..fc134949f 100644 --- a/infer/src/IR/Tenv.rei +++ b/infer/src/IR/Tenv.rei @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2016 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Typename.re b/infer/src/IR/Typename.re index e3fa4473c..075e96086 100644 --- a/infer/src/IR/Typename.re +++ b/infer/src/IR/Typename.re @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils; diff --git a/infer/src/IR/Typename.rei b/infer/src/IR/Typename.rei index 5bd9dd690..bd3d6b38d 100644 --- a/infer/src/IR/Typename.rei +++ b/infer/src/IR/Typename.rei @@ -1,12 +1,13 @@ /* + * vim: set ft=rust: + * vim: set ft=reason: + * * Copyright (c) 2015 - present Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD style license found in the * LICENSE file in the root directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. - * vim: set ft=rust: - * vim: set ft=reason: */ open! Utils;