Klaus Andrey comments

Results 7 comments of


Klaus Andrey

Fails to compile on idris 1.0

problem is still actual for idris 1.3.0

feature request: custom method to display error message

I missed this. Thank you for pointing me, checking it.

feature request: custom method to display error message

The using of validationMessage binding is not too easy for my purposes. The problem is that tooltip I would like to use (this one http://onehackoranother.com/projects/jquery/tipsy/ ) has rather sofisticated render...

comment search in snippets because it is too slow for jscoq and leave warning

or better ```coq (* Warning: search code might be slow on some computers *) (* when it is ran using jscoq *) (* Search (odd _). *) (* Search eq...

Can't build because of "error: too few arguments to function ‘idris_requireAlloc’"

the same problem on ubuntu 18.04

Can't build because of "error: too few arguments to function ‘idris_requireAlloc’"

And there is a pull request that fixes the problem, if anybody needs https://github.com/edwinb/SDL-idris/pull/18

Error: Command failed: /bin/sh: 1: Google: not found after gulp serve

> A grep for bin/sh in the tree finds it only used in redis and socket.io-client but I remembered after you said.. I saw next notices during `npm install` (I...