Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Expecting a nil or t value at key: :disable-index-on-startup
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  4 messages - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
richard emberson  
View profile  
 More options Oct 9 2012, 5:00 pm
From: richard emberson <richard.ember...@gmail.com>
Date: Tue, 09 Oct 2012 14:00:24 -0700
Local: Tues, Oct 9 2012 5:00 pm
Subject: Expecting a nil or t value at key: :disable-index-on-startup
I send

:disable-index-on-startup nil

to the Ensime server and see in the log file:

Configuration Format Error: Expecting a nil or t value at key:
:disable-index-on-startup

Should ProjectConfig.scala be changed from:

   def getBool(m: KeyMap, name: String): Boolean = m.get(keyword(name))
match {
     case Some(TruthAtom()) => true
     case None => false
     case _ => matchError("Expecting a nil or t value at key: " + name);
false
   }

to:

   def getBool(m: KeyMap, name: String): Boolean = m.get(keyword(name))
match {
     case Some(TruthAtom()) => true
     case Some(NilAtom()) => false
     case None => false
     case _ => matchError("Expecting a nil or t value at key: " + name);
false
   }

Richard

--
Quis custodiet ipsos custodes


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Aemon Cannon  
View profile  
 More options Dec 6 2012, 12:27 am
From: Aemon Cannon <aemoncan...@gmail.com>
Date: Thu, 6 Dec 2012 00:27:23 -0500
Local: Thurs, Dec 6 2012 12:27 am
Subject: Re: Expecting a nil or t value at key: :disable-index-on-startup

Good catch!

On Tue, Oct 9, 2012 at 5:00 PM, richard emberson <richard.ember...@gmail.com


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Discussion subject changed to "FYI: Vimside" by richard emberson
richard emberson  
View profile  
 More options Dec 6 2012, 12:33 am
From: richard emberson <richard.ember...@gmail.com>
Date: Wed, 05 Dec 2012 21:33:11 -0800
Local: Thurs, Dec 6 2012 12:33 am
Subject: FYI: Vimside
Aemon,

Don't know if I mentioned this before, but I am in the
process of creating a Vim client for Ensime:

https://github.com/megaannum/vimside

Still pre-alpha; maybe 1/2 the commands are implemented.
Thats why I have been looking closely at Ensime's manual and
its code.

Richard

--
Quis custodiet ipsos custodes


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Aemon Cannon  
View profile  
 More options Dec 6 2012, 12:37 am
From: Aemon Cannon <aemoncan...@gmail.com>
Date: Thu, 6 Dec 2012 00:37:51 -0500
Local: Thurs, Dec 6 2012 12:37 am
Subject: Re: FYI: Vimside

Richard,

I suspected ; )
Thanks for all your detailed feedback. It's really helpful.
And do feel free to ping me with any difficulties you run in to.

On Thu, Dec 6, 2012 at 12:33 AM, richard emberson <


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »