infer_clone

Commit Graph

Author	SHA1	Message	Date
Josh Berdine	34739522c0	[utils] Add CTypes binding of fts and implement remove_directory_tree Summary: This diff adds a dependency on ctypes.foreign and uses the example binding of fts to implement remove_directory_tree. Reviewed By: yunxing Differential Revision: D4115569 fbshipit-source-id: 3509955	9 years ago
Yunxing Dai	db08df930a	Add tuareg and core as dependencies Reviewed By: jvillard, jberdine Differential Revision: D4066732 fbshipit-source-id: eccb89e	9 years ago
Andrzej Kotulski	a31c5416b1	Add basic support for starting ocaml repl with infer code Summary: Make it possible to run infer code from within `ocaml`/`utop`. Integration is really basic, but we can extend it if we find it useful. Reviewed By: jberdine Differential Revision: D3736029 fbshipit-source-id: 4cebb7c	9 years ago

Author

SHA1

Message

Date

Josh Berdine

34739522c0

[utils] Add CTypes binding of fts and implement remove_directory_tree

Summary:
This diff adds a dependency on ctypes.foreign and uses the example
binding of fts to implement remove_directory_tree.

Reviewed By: yunxing

Differential Revision: D4115569

fbshipit-source-id: 3509955

Yunxing Dai

db08df930a

Add tuareg and core as dependencies

Reviewed By: jvillard, jberdine

Differential Revision: D4066732

fbshipit-source-id: eccb89e

Andrzej Kotulski

a31c5416b1

Add basic support for starting ocaml repl with infer code

Summary: Make it possible to run infer code from within `ocaml`/`utop`. Integration is really basic, but we can extend it if we find it useful.

Reviewed By: jberdine

Differential Revision: D3736029

fbshipit-source-id: 4cebb7c

3 Commits (25c3cb41bdee283dde9ec68f41bc5675e27d572b)