twinside / vim-haskellconceal Goto Github PK
View Code? Open in Web Editor NEWConceal operator for haskell
Home Page: http://www.vim.org/scripts/script.php?script_id=3200
Conceal operator for haskell
Home Page: http://www.vim.org/scripts/script.php?script_id=3200
Use Vim 7.3 Conceal feature to display unicode operator in Haskell without changing the underlying file. GitHub: https://github.com/Twinside/vim-haskellConceal ## Installation Decompress in your ~/vimfiles or ~/.vim, if you're using pathogen (you should), put it in ~/.vim/bundle/haskellConceal folder
I posted on StackOverflow, only to be directed back to you. :)
http://stackoverflow.com/questions/26040110/vim-plugin-haskellconceal-not-concealing
Though, I already downloaded this as a bundle, so you could technically sue me. ;)
The chars that replace the original chars (for example -> to → , <- to ← , :: to ∷) aren't monospaced, that is they don't use the same amount of pixels on screens.
This causes indentations and uniformly aligned lines to appear unaligned or "broken", thus less readable.
I'm not sure if this is because of the font I'm using (Monaco 14pt), or if Vim doesn't force monospacing properly.
Any way this can be fixed?
For conceal symbols such as >> or -> turning in to symbols only occupying one space can cause confusion where it looks like blocks are properly aligned but are in fact not, leading to compile errors.
Example:
case blob of True -> do putStrLn "hey"
putStrLn "you!"
False ...
If the conceal is used, this block will need to look misaligned in order to compile.
I suggest that two-character symbols should be concealed with an extra space so that there will be no difference.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.