HealthCheck OK but none of REPL, TypeQuery and Concealing works

[Huxpro]

Health Check

Type Query (I'm new to SML so I was just using auto_gen = 'always' and try with a single file, I do see *.du* get generated under the same dir.

Hmm no idea what happened. It does look like a syntax error from somewhere.

concealing

my .vimrc for vimbettersml (basically copy from README)

I wasn't sure what I did wrong, but thanks for the plugin in advance!

[jez]

Ha, I just implemented this a few days ago and then didn’t have time to finish it. I’ll take a look later tonight, so thanks for your patience! In the mean time you might want to checkout an older commit to use. For example:

7530bbb

Is the first commit before any of the recent changes.

[jez]

Also, could you paste the output of vim --version?

[jez]

I just pushed a fix for the first bug (:SMLCheckHealth should work without errors.)

I'm looking to see what's up with the type query.

[jez]

Ah, the :SMLReplStart failed because you're not using neither Neovim nor tmux + benmills/vimux, one of which is required to use the REPL.

I haven't gotten around to supporting Vim 8 yet, because I personally use Neovim when I tried to figure out how to launch a terminal session in Vim 8, it seemed not to hang.

Hypothetically adding another REPL backend should not be too hard. If you're familiar with writing Vim plugins I'm happy to answer questions about where to start if you wanted to implement Vim 8 support.

[jez]

As for why conceallevel isn't working, you'll want to check the output of your vim --version:

vim --version | grep conceal

If you see a + next to conceal, that means it's supported.
If you see either -conceal or no output, that means it's not supported.

Vim can be built with certain features turned on or off, so if you don't see it, you'll want to recompile / reinstall a different version of Vim for your platform.

[jez]

So to recap:

If you pull the most recent version of the plugin, all the issues above should either be fixed, or else I think they're issues with your particular Vim setup.

Happy to help walk you through anything else!

[Huxpro]

Thx for the detailed replies! Yep, I am using vim 8 and here is the vim --version. Looks like conceal is supported tho.

VIM - Vi IMproved 8.0 (2016 Sep 12, compiled Feb  8 2018 23:41:19)
macOS version
Included patches: 1-1450
Compiled by Homebrew
Huge version without GUI.  Features included (+) or not (-):
+acl               +farsi             +mouse_sgr         -tag_any_white
+arabic            +file_in_path      -mouse_sysmouse    -tcl
+autocmd           +find_in_path      +mouse_urxvt       +termguicolors
-autoservername    +float             +mouse_xterm       +terminal
-balloon_eval      +folding           +multi_byte        +terminfo
+balloon_eval_term -footer            +multi_lang        +termresponse
-browse            +fork()            -mzscheme          +textobjects
++builtin_terms    -gettext           +netbeans_intg     +timers
+byte_offset       -hangul_input      +num64             +title
+channel           +iconv             +packages          -toolbar
+cindent           +insert_expand     +path_extra        +user_commands
-clientserver      +job               +perl              +vertsplit
+clipboard         +jumplist          +persistent_undo   +virtualedit
+cmdline_compl     +keymap            +postscript        +visual
+cmdline_hist      +lambda            +printer           +visualextra
+cmdline_info      +langmap           +profile           +viminfo
+comments          +libcall           +python            +vreplace
+conceal           +linebreak         -python3           +wildignore
+cryptv            +lispindent        +quickfix          +wildmenu
+cscope            +listcmds          +reltime           +windows
+cursorbind        +localmap          +rightleft         +writebackup
+cursorshape       -lua               +ruby              -X11
+dialog_con        +menu              +scrollbind        -xfontset
+diff              +mksession         +signs             -xim
+digraphs          +modify_fname      +smartindent       -xpm
-dnd               +mouse             +startuptime       -xsmp
-ebcdic            -mouseshape        +statusline        -xterm_clipboard
+emacs_tags        +mouse_dec         -sun_workshop      -xterm_save
+eval              -mouse_gpm         +syntax
+ex_extra          -mouse_jsbterm     +tag_binary
+extra_search      +mouse_netterm     +tag_old_static

[Huxpro]

I was able to get concealing works by setting the conceal_level out of augroup. Not sure why.

[Huxpro]

I have switched to neovim and :SMLReplyBlah now works perfectly! I heard it for a while but didn't have a chance to try it ;)

[Huxpro]

What I care most about is actually TypeQuery.

I am new to SML ecosystem so I am not sure I understand what really is.MLB file...I was trying to read http://mlton.org/MLBasis but not quite get it.

I thought ML Basis Library is more like a standard library having been built into the compiler? But it sounds like some metafile to describe the project itself?

[jez]

Do you have a CM file for your project? If you’re trying to work with a sample SML project that has both a CM file and an MLB file, you can check out the support/ folder in vim-better-sml. You can compare and contrast the files there to see how to write one for your project. If you have a project that you can share I’m happy to take a look at it and see what it needs in the way of MLB files.

…

On Fri, Sep 7, 2018 at 6:53 PM Xuan Huang ***@***.***> wrote: What I care most about is actually TypeQuery. I am new to SML ecosystem so I am not sure I understand what really is.MLB file...I was trying to read http://mlton.org/MLBasis but not quite get it. I thought ML Basis Library is more like a standard library having been built into the compiler? But it sounds like some metafile to describe the project itself? — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#11 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AFSaVH4IBtKevv4kE0bqToITkb701vq7ks5uYyMugaJpZM4WeD94> .

[jez]

ML Basis Library **is** a standard library. But the ML Basis file is completely separate, and specifies how to build an SML project with the MLton compiler. It’s similar to CM files for SML/NJ. On Fri, Sep 7, 2018 at 6:57 PM Jake Zimmerman <zimmerman.jake@gmail.com> wrote:

…

Do you have a CM file for your project? If you’re trying to work with a sample SML project that has both a CM file and an MLB file, you can check out the support/ folder in vim-better-sml. You can compare and contrast the files there to see how to write one for your project. If you have a project that you can share I’m happy to take a look at it and see what it needs in the way of MLB files. On Fri, Sep 7, 2018 at 6:53 PM Xuan Huang ***@***.***> wrote: > What I care most about is actually TypeQuery. > > I am new to SML ecosystem so I am not sure I understand what really is > .MLB file...I was trying to read http://mlton.org/MLBasis but not quite > get it. > > I thought ML Basis Library is more like a standard library having been > built into the compiler? But it sounds like some metafile to describe the > project itself? > > — > You are receiving this because you commented. > > > Reply to this email directly, view it on GitHub > <#11 (comment)>, > or mute the thread > <https://github.com/notifications/unsubscribe-auth/AFSaVH4IBtKevv4kE0bqToITkb701vq7ks5uYyMugaJpZM4WeD94> > . >

[Huxpro]

@jez Gotcha! That's very clear and helpful ;)

I'm gonna close this issue. Thx for your great works!