tter? Again, I'm not exactly sure what
> your approach is, and I'm sorry for that.
> On Monday, September 28, 2020 at 3:31:11 PM UTC-4 gneuner2 wrote:
>
>>
>> On 9/28/2020 10:50 AM, Beatriz Moreira wrote:
>>
>> Hello,
>> I would like to know how do I match mult
Hello,
I don't think this is what im looking for, but thank you very much :D
A segunda-feira, 28 de setembro de 2020 à(s) 20:31:11 UTC+1, gneuner2
escreveu:
>
> On 9/28/2020 10:50 AM, Beatriz Moreira wrote:
>
> Hello,
> I would like to know how do I match multiple variabl
Hello,
I have a bunch of relation rules, but in one of them i need to check if f_0
is the same as i have in one of the environments, but the error
*reduction-relation:
found the same binder, f_0, at different depths, 0 and 1 ... F_01 ... (T
f_0 ((T_00 x_00) ...) (return e)) F_02 ...))
1)
> 5
> (judgment-holds (matching n_1 (n_2 ...)))
> )))
>
> (define-judgment-form L
> #:mode (matching I I)
> #:contract (matching n (n ...))
>
> [---
>(matching n ())]
>
> [(matching n_1 (n_2 ...))
>---
Hello,
I was reading your documentation for the Reduction Relations (4.4), and we
can use side-conditions and other extras like where and bind. But I cannot
implement them in my code. Can someone show me an example of how do I use
the clause *where*? For example, how do I verify that a variable
Hello,
I would like to know how do I match multiple variables to a regular
expression.
My idea is to match every *f* variables (f...) to an *f* in ((contract C
((T x) ...) ((T f)) ...) ... ).
I am trying to implement a core language for smart contracts in Racket, but
I need to have as pre
Hi, im a beginner with racket and im using it to implement a language in
order to test its operational semantic rules.
This is the function where i keep having the error:
(define-metafunction FS
call : env-ß classes address f ((x v)...) -> e
[(call (env-ß_1 ... ((address_1 C_1 n_1 vars_1
Hi,
I have been using side-condition to check if a sequence of variables exist
is in an environment , like this :
*(side-condition (not (member (term ((s : _) ...)) (term (env-ß_1 ...)*
being s a state variable and _ a value that i don't know. But it doesn't
seem to work as expected, as
indler
escreveu:
> I recommend you define a metafunction or judgment form that captures what
> you want exactly and then use that.
>
> Robby
>
>
> On Mon, Dec 21, 2020 at 8:32 AM Beatriz Moreira
> wrote:
>
>> Hi,
>> I have been using side-condition
hen
> subsequence can try that one at each position?
>
> Robby
>
>
> On Wed, Feb 3, 2021 at 10:33 AM Beatriz Moreira
> wrote:
>
>> Yes, I had to make some adjustments to the judgement you sent me but this
>> helped me a lot!
>> This was what I ended up using
Hi !
I have a reduction relation where I have to match a pattern *ts* to two
sequences, where the first one contains the other one. What I tried to do
was something like this:
1st seq: (*ts_all1 ... ts ts_all2 ...*) 2nd seq: (*ts_x1 ... ts
ts_x2 ...*), where *ts_x* *⊆ **ts_all*.
But
ubsequence (3 2) (1 2 3 4))) #f)
>
> (test-equal
> (judgment-holds (subsequence (4 1) (1 2 3 4))) #f)
>
> (test-results)
>
>
>
> On Sat, Jan 30, 2021 at 11:46 AM Beatriz Moreira
> wrote:
>
>> Hi !
>> I have a reduction relation where I have to match a patte
purposes.
Thank you :D
A terça-feira, 16 de março de 2021 à(s) 19:24:35 UTC, cwebber escreveu:
> James Platt writes:
>
> > On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote:
> >
> >> Hello! I recently used Racket as a tool to see the small step
> >> execution of
Hello!
My code is a bit long. I formalised two languages for smart contracts, with
a typechecker, so this might not be for me :D but thank you!
A terça-feira, 16 de março de 2021 à(s) 18:22:44 UTC, James Platt escreveu:
>
> On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote:
>
>
Hello! I recently used Racket as a tool to see the small step execution of
some smart contract languages and I was wondering if there is anywhere i
can submit my work or share it with the Racket community.
Thank you in advance!
Beatriz
--
You received this message because you are subscribed to
Hello,
I'm trying to write a side condition to a function, where it checks if a is
in an environment ß. I tried this judgement by adding (judgment-holds
(anotin (ß-v ...) a #f)) at the end of the function but it is not working :(
Thank you!
--Beatriz
(define-judgment-form Flint
#:mode (anotin
Hello,
When defining a language, is it possible to define that all instances of a
pattern have to be different ? For example, I have f ::=
variable-not-otherwise-mentioned, which represents a function name. How do
I guarantee all fs are different?
Thank you!
--Beatriz
--
You received this
Thank you, I did just that! :D
4. Checking for membership in an environment sounds like a (very) decidable
problem. It maybe simpler to just write a judgment form for the positive
case, and simply defining the negative case as “when the judgment doesn’t
hold”.
A sexta-feira, 9 de abril de
Yes a subset ! Sorry !
Yours didn't do exactly what i wanted but it helped a lot, as i didn't
understand how i could also use judgments as guards in reduction relations.
Thank you again :D
Beatriz Moreira
A quarta-feira, 3 de fevereiro de 2021 à(s) 22:17:50 UTC, Robby Findler
escreveu:
>
19 matches
Mail list logo
