formatting - sml-mode for emacs does extremely strange things. Is there an alternative, or an easy elisp fix? -


i'm having lot of trouble getting sml-mode in emacs sanely indent code. example, here block behaving particularly strangely:

    datatype type_node       = param of typaram.t       | longid of longid.t       | offset of field * field list option       | list of type_t list       | fun of type_t list * t list       |       | vproc       | cont of tyarg.t list option       | addr of type_t          , dataconsdef_node              = consdef of bomid.t * type_t option          , field_node              = immutable of int * type_t              | mutable of int * type_t          , fundef_node              = def of attrs.t option * bomid.t * typaram.t list option                       * param.t list option * param.t list option * type_t * exp_t          , varpat_node              = wild              | var of bomid.t * type_t option          , caserule_node              = longrule of longid.t * varpat_t list * exp_t            | literalrule literal.t * exp_t            | defaultrule of varpat_t * exp_t          , tycaserule_node              = tyrule of type_t * exp_t              | default of exp_t          , simpleexp_node              = primop of 'var prim.prim * simpleexp_t list              | allocid of longid.t * simpleexp_t list              | alloctype of type.t * simpleexp_t list              | atindex of int * simpleexp_t * simpleexp_t option              | typecast of type.t * simpleexp_t              | hostvproc              | vpload of int * simpleexp_t              | vpaddr of int * simpleexp_t              | vpstore of int * simpleexp_t * t              | id of longid.t              | lit of literal.t              | mlstring of string          , exp_node              = let of varpat.t list * rhs * t              | of simpleexp.t * t              | fun of fundef.t list * t              | cont of bomid.t * param.t list option * t * t              | if of simpleexp.t * t * t              | case of simpleexp.t * caserule.t list                      | typecase of typaram.t * tycaserule.t list                                  | apply of longid.t * simpleexp.t list option * simpleexp.t list option                                           | throw of longid.t * simpleexp.t list option                                                    | return of simpleexp.t list option   , foo_node           = bar

apologies huge code dump, content doesn't matter -- extremely inconsistent indentation. attempting define signatures inside of structure foo : sig ... end = struct ... end block worse:

structure attrs : sig               type t               datatype node                 = attributes of string list                                        include wrapped                                        sharing type node' = node                                                                 sharing type obj = t           end

or:

functor dowrap(type node) : sig             type t = node wrap.t                           include wrapped                           sharing type node' = node                                                    sharing type obj = t         end = struct                             open wrap                             type t = node wrap.t                             type node' = node                             type obj = t                             end

i'm diehard emacs fan , hate have avoid on project, since it's 1 i'll working on the next few months. however, can't turn code in supervisor. above behavior when select block of text , indent-region.

i've looked @ this answer, solution doesn't apply, since behavior m-c-\ gives me, , huge pain work on code without being able auto-indent whole file.

is there easy fix this? there alternative sml-mode implementations?

presuming using latest version of sml mode gnu elpa, looks have hit corner-case in built-in smie grammar of sml mode breaks down. had similar issues tuareg mode ocaml.

you need downgrade version of sml mode version 4.0 or lower, can obtain http://www.iro.umontreal.ca/~monnier/elisp/. these versions not yet use smie indentation, ad-hoc indentation code. @ least ocaml , tuareg, found old-fashioned approach yield better , more reliable indentation.

you may want report issue maintainer of sml mode, though, mail address can find in header of sml mode, or in footer of aforementioned website.


Comments

Post a Comment

Popular posts from this blog

commonjs - How to write a typescript definition file for a node module that exports a function? -

consider, toml node module can use: // toml.d.ts declare module toml { export function parse(value:string):any; } declare module "toml" { export = toml; } then: /// <reference path="../../../../../defs/toml/toml.d.ts"/> import toml = require('toml'); toml.parse(...); however, node module export single function, such 'glob' ( https://github.com/isaacs/node-glob ). the node usage of module be: var glob = require("glob") glob("*.js", {}, callback(err, files) { ... }); you'd naively expect this: // glob.d.ts declare function globs(paths:string, options:any, callback:{(err:any, files:string[]):void; ...but because typescripts 'import' semantics bit strange, seems can use 'import .. = require()' statement alias modules . trying call: /// <reference path="../../../../../defs/glob/glob.d.ts"/> import blog = require('glob'); results in: error ts2072: mod...
Read more

openid - Okta: Failed to get authorization code through API call -

i'm integrating okta own idp server using okta's api. i'm implementing authorization code flow following steps below: in own server, use /api/v1/authn endpoint sessiontoken. use sessiontoken obtain authorization calling endpoint: /oauth2/v1/authorize?client_id=" + clientid + "&sessiontoken=" + sessiontoken + "&response_type=code&response_mode=query&scope=openid&redirect_uri=" + redirecturl + "&state=evanyang&nonce=" it's supposed return response status code 302 , location header containing redirect url code value. however, keep getting response status code 200 , without location header, html body saying "you using unsupported browser." , "javascript disabled on browser." according api documentation: http://developer.okta.com/docs/api/resources/oidc.html#authentication-request , sessiontoken parameter sufficient this: an okta one-time sessiontoken. allows api-based ...
Read more

ios - Change Storyboard View using Seague -

i have following code checks connection server, , depending on want change views if no connection found. nsstring *connect = [nsstring stringwithcontentsofurl:[nsurl urlwithstring:@"http://myserver.com"] encoding:nsutf8stringencoding error:nil]; if (connect == null) { [self performseguewithidentifier:@"network_failure" sender:self]; } else { // other code here } my problem not change views. have added storyboard segue between 2 views identifier of network_failure . not have navigation controller or that, problem? thanks help! no not problem. first of all, in objectivec exists nil object oriented null . must use that. so: if(connect == nil) or better: if(!connect) so due fact nil not same of null , probably code does't enter in if scope . you have been able discover breakpoint. anyway: be sure set trigger segue (line) 2 view controller , , name network_failure (that not best name. should instead view1toview2 ) as, m...
Read more