convex

convex copied to clipboard

Static compilation of core symbols is error-prone

7

(Follow up after exposing the issue on Discord) Enabling the static compilation of core symbols has resulted in many weird failures in my CVX code. This is because it essentially...

helins

Redefining looses metadata

4

It is not a bug per se, rather behavior that may seem unexpected. ```clojure (def foo ^{:a :b} 42) (lookup-meta 'foo) ;; {:a :b} (def foo 24) (lookup-meta 'foo) ;;...

helins

Issue with fund required and API

3

It seems that there is an error when calculating the funds required for buying memory using the API. As my experience with the API is still quite small, I am...

Darkneew

*juice-price* undeclared

1

Convex-Dev/design/tree/main/cad/007_juice explains how to calculate the juice fees from juice price, which can be found with *juice-price* However, *juice-price* isn't declared

Darkneew

`for`-like looping

3

Akin to for loops found in many C-like languages, the following is experimentally supported: ```clojure (for-loop [i 0 (< i 10) (inc i)] (do-something i)) ``` I get the intent,...

helins

Error in argument compilation

1

There is an error which I guess comes from argument compilation. However, I don't know how the reader and parser work, so I can only show how to reproduce the...

Darkneew

-0.0 different than 0.0

1

When working with doubles, convex distinguishes 0.0 and -0.0 We can see it here:  This issue raises other issues in other functions, such as here: 

Darkneew

Behavior of accept depends of context

1

The behavior of `accept` changes, depending of wether you are calling it from an ordinary callable function or from `receive-coin`. When calling `accept` from an ordinary function, if the tip...

Darkneew

Can't compile callable functions

1

`compile` doesn't compile properly functions when they are called As a result, the code can't be run or `eval` Here is an exemple: 

Darkneew

Found in gen tests: ```clojure (slice (list 1 2) 1) ``` ``` FATAL: java.lang.IndexOutOfBoundsException: Negative start: -1 at convex.core.data.ASequence.checkRange(ASequence.java:183) at convex.core.data.VectorLeaf.subVector(VectorLeaf.java:684) at convex.core.data.AVector.slice(AVector.java:238) at convex.core.data.List.slice(List.java:337) at convex.core.data.List.slice(List.java:27) at convex.core.lang.Core$106.invoke(Core.java:2078) at...

helins