Hello,
When I define idris.tmLanguage and open any .idr file, Sublime Text gives the following error message:
*Error loading syntax file “Packages/foldername/Idris.tmLanguage”: boost::bad_any_cast: failed conversion using boost::any_cast [OK] *
This looks like an error to me.
Contents of idris.tmLanguage:
[code]<?xml version="1.0" encoding="UTF-8"?>
fileTypes idr name Idris patterns captures 2 variable.parameter match \w.*(\b\w+\b).*=.*(\b\1\b) name meta.definition.variable.idris [/code]Please tell me if I’m not using .tmLanguage properly. I’m trying to match a variable name on the right-hand side of an equals sign, where that variable has been mentioned as a parameter in the LHS. The language is Idris, which is very Haskell line. Example:
f x = g x y
Here the second x should match, but not the y.
I’m using the freshest 64-bit Linux version of ST2 available for download on the web site.
Cheers, Bram