-
-
Save yawaramin/b86557ae81cbd019fcb9e071abe594de to your computer and use it in GitHub Desktop.
Revisions
-
yawaramin revised this gist
Aug 27, 2017 . 1 changed file with 7 additions and 7 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -3,13 +3,6 @@ # Works with merlin version 2.5.4. Using protocol described at # https://github.com/ocaml/merlin/blob/master/doc/dev/OLD-PROTOCOL.md#type-checking usage () { echo Usage: either of the following will work: @@ -31,3 +24,10 @@ echo '["type","expression","It","at","end"]' >>$it ocamlmerlin <$it | sed -e '/^\["return",true\]$/d' -e 's/^\["return","sig *//' -e 's/ *end"\]$//' -e 's/\\"/"/g' -e 's/\\n/\ /g' | sed -e '/^ *$/d' -e 's/^ //' # Reason syntax tweaks (untested, but should work): # # L20: echo '["tell","start","end","module It = {' >$it # L22: echo '}; let () = ();"]' >>$it # L25: ocamlmerlin <$it | sed -e '/^\["return",true\]$/d' -e 's/^\["return","{//' -e 's/};"\]$//' -e 's/\\"/"/g' -e 's/\\n/\ # /g' | sed -e '/^ *$/d' -e 's/^ //' -
yawaramin revised this gist
Aug 27, 2017 . 1 changed file with 4 additions and 4 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -5,10 +5,10 @@ # Reason syntax tweaks (untested, but should work): # # L20: echo '["tell","start","end","module It = {' >$it # L22: echo '}; let () = ();"]' >>$it # L25: ocamlmerlin <$it | sed -e '/^\["return",true\]$/d' -e 's/^\["return","{//' -e 's/};"\]$//' -e 's/\\"/"/g' -e 's/\\n/\ # /g' | sed -e '/^ *$/d' -e 's/^ //' usage () { -
yawaramin revised this gist
Aug 27, 2017 . 1 changed file with 7 additions and 0 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -3,6 +3,13 @@ # Works with merlin version 2.5.4. Using protocol described at # https://github.com/ocaml/merlin/blob/master/doc/dev/OLD-PROTOCOL.md#type-checking # Reason syntax tweaks (untested, but should work): # # L20: `echo '["tell","start","end","module It = {' >$it` # L22: `echo '}; let () = ();"]' >>$it` # L25: `ocamlmerlin <$it | sed -e '/^\["return",true\]$/d' -e 's/^\["return","{//' -e 's/};"\]$//' -e 's/\\"/"/g' -e 's/\\n/\ # /g' | sed -e '/^ *$/d' -e 's/^ //'` usage () { echo Usage: either of the following will work: -
yawaramin revised this gist
Aug 27, 2017 . 1 changed file with 2 additions and 2 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -22,5 +22,5 @@ sed 's/"/\\"/g' ${1%i} >>$it echo ' end let () = ()"]' >>$it echo '["type","expression","It","at","end"]' >>$it ocamlmerlin <$it | sed -e '/^\["return",true\]$/d' -e 's/^\["return","sig *//' -e 's/ *end"\]$//' -e 's/\\"/"/g' -e 's/\\n/\ /g' | sed -e '/^ *$/d' -e 's/^ //' -
yawaramin revised this gist
Aug 27, 2017 . 1 changed file with 2 additions and 6 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -5,22 +5,18 @@ usage () { echo Usage: either of the following will work: echo echo ' sig module.ml' echo ' sig module.mli' exit 1 } [ -z "$1" ] && usage it=~/tmp/it echo '["tell","start","end","module It = struct' >$it sed 's/"/\\"/g' ${1%i} >>$it echo ' end let () = ()"]' >>$it -
yawaramin revised this gist
Aug 27, 2017 . 1 changed file with 3 additions and 0 deletions.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -1,5 +1,8 @@ #!/usr/bin/env sh # Works with merlin version 2.5.4. Using protocol described at # https://github.com/ocaml/merlin/blob/master/doc/dev/OLD-PROTOCOL.md#type-checking usage () { echo Usage: all of the following will work: -
yawaramin created this gist
Aug 27, 2017 .There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -0,0 +1,27 @@ #!/usr/bin/env sh usage () { echo Usage: all of the following will work: echo echo ML syntax: echo ' sig module.ml' echo ' sig module.mli' echo RE syntax: echo ' sig module.re' echo ' sig module.rei' exit 1 } [ -z "$1" ] && usage it=~/tmp/it touch $it echo '["tell","start","end","module It = struct' >$it sed 's/"/\\"/g' ${1%i} >>$it echo ' end let () = ()"]' >>$it echo '["type","expression","It","at","end"]' >>$it ocamlmerlin <$it | sed -e '/^\["return",true\]$/d' -e 's/^\["return","//' -e 's/"\]$//' -e 's/\\"/"/g' -e 's/\\n/\ /g'