Pascal

Error in doc for describe-module

1

The doc states that (describe-module ) returns an object with 'name', 'hash', 'blessed', 'code', and 'keyset' fields. But, in case of an interface, it returns an object with only 'name'...

Typecheck fail with (bind)

2

## Issue description Typecheck fails with some trivial examples when using `(bind)` ### Steps to reproduce ```pact (module A G (defcap G() true) (defun get-data:integer () (bind {'a:3} {'a:=val} val))...

## Issue description Re-file the previous issue by changing the examples... btw: @jmcardon @emilypi If not already done please can you read my last comment on the previous one. I...

`(add-time )` overflow => not documented unexpected results

1

## Issue description The `add-time` function can overflow and give unexpected results. ### Steps to reproduce Some examples: ```pact pact> (add-time (time "2016-07-22T12:00:00Z") 10000000000000000000000000000000000) "-157918-10-27T19:13:49Z" pact> (add-time (time "2016-07-22T12:00:00Z") 1000000000000000000000000000000000000000000000000000000000000000000000000)...

Typechecker does not recognize typed constants

1

## Issue description Typechecker does not recognize typed constants ### Steps to reproduce ```pact (module A G (defcap G() true) (defschema point x:integer y:integer ) (defconst MY-POINT:object{point} {'x:5, 'y:2}) (defun...

Suggestion: Sugar syntax of (define-keyset ) should be deprecated

2

Currently, Pact allows to use this sugar syntax: ``` (define-keyset `xxxx) ``` which is internally translated to: ``` (define-keyset 'xxxx (read-keyset 'xxxx)) ``` IMHO, this should be removed or at...

Some (print ) are not printed

2

Example 1: ```lisp (let ((x 0)) (print "First statement") (print "Second statement") (print "Last statement") ) ``` Only outputs `Last statement` Example 2: ```lisp (env-enable-repl-natives true) (module test-print G (defcap...

Suggestion: Give the possibility to install a cap without a signature in a transaction payload

6

Currently: In a transaction payload, a capability is always associated to a signer (pubKey) and a matching signature. It does make a lot of sense because most of the time,...

Chainweaver does not follow KIP-15 spec => Requests

1

Tested with Chainweaver 2.2.3 : KIP-15 states that signatures request must be embedded in a **commandSigDatas** object. However Chainweaver expects a **cmdSigDatas** object.

KIP-0029: Proposal of new guard type: Constant boolean guard

1

The idea is to propose a new guard, the most simple as possible, the easiest to understand. But it's currently missing, and would be very useful, and would improve the...