[racket-users] Get contract from function

2018-08-24 Thread Joao Pedro Abreu De Souza
The library is with a problem that is when manage the * operator(greedy repeat), if the term that is repeat would be a string, then he returns a empty string, that is the equivalent of a rule that always match but without consume anything. If the term that is repeat would be other thing, the *

Re: [racket-users] Get contract from function

2018-08-24 Thread Robby Findler
Perhaps object-contract? Note that this might not return a contract, however, in which case, the function might return anything. Robby On Fri, Aug 24, 2018 at 7:50 AM Joao Pedro Abreu De Souza wrote: > > Hi. I am contributing in a library that create functions to parse PEG(parsing >

Re: [racket-users] Get contract from function

2018-08-24 Thread Alex Knauth
> On Aug 24, 2018, at 8:50 AM, Joao Pedro Abreu De Souza > wrote: > > Hi. I am contributing in a library that create functions to parse PEG(parsing > expression grammar). To implement a feature, I need to know the return's type > of a function. We are using racket, not typed-racket, so I

[racket-users] Get contract from function

2018-08-24 Thread Joao Pedro Abreu De Souza
Hi. I am contributing in a library that create functions to parse PEG(parsing expression grammar). To implement a feature, I need to know the return's type of a function. We are using racket, not typed-racket, so I think that I need to get the contract or something like that. I dont see in the