Cannot get documentation or types for operators

[archaeron]

The operators are being sent as they appear in the code, but they need parenthesis around them.

:: -> (::)

[archaeron]

correction:
I'ts not the fault of the idris compiler, but of this function:

atom-language-idris/lib/idris-controller.coffee

Lines 35 to 40 in 2beedd9

	getWordUnderCursor: (editorView) ->
	editor = editorView.model
	options =
	wordRegex: /^[ ]*$|[^\s\/\\\(\)":,\.;<>~!@#\$%\^&\*\|\+=\[\]\{\}`\?\-…]+/g
	cursorPosition = editor.getLastCursor().getCurrentWordBufferRange options
	editor.getTextInBufferRange cursorPosition

[david-christiansen]

Well, we could also make the compiler a bit more permissive on its syntax here :)

[archaeron]

What I found out is that operators work sometimes without. I think <!> worked, but :: didn't. Is this posdible?

[archaeron]

No, it doesn't work anymore. Strange. But it would be nice if I could just use:
:t ::
:)

[david-christiansen]

I don't think that it ever worked without the parens...

[archaeron]

it did for me. but that could have been anything on my end :D But the issue is resolved now. I check if it's an operator and add two parenthesis :)

[archaeron]

I could probably just always add parens

[david-christiansen]

Or we can slightly special-case the command parser in the compiler :-) This will make it easier for command-line users as well, so I think that's the better way.

[archaeron]

👍 even better. thanks!