Jan de Muijnck-Hughes

@gdennie Thanks for the suggestion. I think having some form of sanity check post installation would be a good addition to the installation process. We already have command line flags...

I'll also change the issue title to be more reflective of what the issue is.

The key question here, is what are the colour of the things Idris is complaining about! Idris' [supports semantic highlighting](http://docs.idris-lang.org/en/latest/reference/semantic-highlighting.html) and tells us about what things are! If you look...

essentially, at the type-level names that are not capitalised are treated (greedily) as implicit arguments. This is why you saw the Idris1 error message: ``` error.idr:18:54-59: | 18 | id_elm_r...

Sorry for the late response. Please do add a PR with your proposed changes! It would be a nice first step to helping with Idris development.

@Martin-F if this satisfies your needs, could we close this issue?

I’ll have a look at this next time I am at work. The original issue came at a time of great personal change. But local builds of Idris 1.3.2 builds...

Right, I have had a look. Turns out that the error was most likely a PEBKAC issue. During refactoring, I might have inadvertently made some terms hidden. I have tested...

If you use HEAD-2 of containers the issue should manifest.

@ziman For what it is worth: + there was a wrong module name in `Data.AVL.Dict`, and + you might want to double check the visibility modifiers on imports. Essentially, there...