Code Monkey home page Code Monkey logo

company-sml's Introduction

Author: Noah Peart [email protected]
URL: https://github.com/nverno/company-sml

Emacs completion support for SML using company mode

Install:

You will need to install company-mode and to add this file to your load-path, ie

(add-to-list 'load-path path/to/this/file)

Then either create autoloads/compile with make file and load the autoloads or just add to your .emacs

(require 'company-sml)
(add-hook 'company-sml 'company-sml-setup)

Example:

example


Converted from company-sml.el by el2markdown.

company-sml's People

Contributors

nverno avatar

Stargazers

 avatar  avatar

Watchers

 avatar  avatar

company-sml's Issues

Cannot get completion after following README

Emacs 26.1 (x86_64-pc-linux-gnu) of 2018-07-05 on juergen
Company 0.9.6

company-backends: ((:separate company-capf company-yasnippet)
 company-capf)

Used backend: (:separate company-capf company-yasnippet)

Major mode: sml-mode
......

config:

(require 'company-sml)
(add-hook 'company-sml 'company-sml-setup)

company-keywords-alist does have (sml-mode "abstraction" "abstype" "and....... but still cannot get completion.

Any ideas?

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.