search

owickstrom / idris-vimscript

Compile Idris to Vimscript, like you always wanted.
Other
130 stars 5 forks source link

Modify FFI to allow abstracting over register names #6

Open mrkgnao opened 6 years ago

mrkgnao commented 6 years ago

Currently, the code that emits register operations relies on knowing the names of registers statically, so trying to, e.g. implement something like :registers won't work since one must do 

traverse (readRegister . singleton) ['a' .. 'z']

or something similar. Fixing this requires changing the FFI a little bit.