Skip to content

Instantly share code, notes, and snippets.

@chenglou
Created April 4, 2016 04:51
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save chenglou/4f5235f6960d867a2c3cf1aefb7320e4 to your computer and use it in GitHub Desktop.
Save chenglou/4f5235f6960d867a2c3cf1aefb7320e4 to your computer and use it in GitHub Desktop.
["path","add","source", ["/Users/chenglou/Desktop/test/hello.ml", "/Users/chenglou/Desktop/test/goodbye.ml"]]
["path","list","source"]
{
"query": ["tell","start","end","let f x = x let () = ()"],
"context": [
"auto",
"/Users/chenglou/Desktop/test/hello.ml"
]
}
{
"query": ["type","expression","f","at", "end"],
"context": [
"auto",
"/Users/chenglou/Desktop/test/hello.ml"
]
}
{
"query": ["tell", "start", "end", "He"],
"context": [
"auto",
"/Users/chenglou/Desktop/test/goodbye.ml"
]
}
{
"query": [ "complete", "prefix", "He", "at", { "line": 1, "col": 1 } ],
"context": [
"auto",
"/Users/chenglou/Desktop/test/goodbye.ml"
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment