Issues - sophia - QPQ AG

QPQ-AG/sophia

New Issue

Improve inference of polymorphic types

#392 opened 2022-06-17 20:52:26 +09:00 by ghallak

Add annotations in the parser where they are left out

todo-in-rewrite

#389 opened 2022-06-13 20:29:38 +09:00 by ghallak

Write-only variables

#388 opened 2022-06-07 21:50:55 +09:00 by zxq9

Optimize list comprehensions and sequence operator

#386 opened 2022-06-07 21:37:54 +09:00 by zxq9

Resolve field constraints by the types of the fields

#381 opened 2022-05-03 22:49:30 +09:00 by ghallak

Warnings should be reported when there are compiler errors

#366 opened 2022-01-25 22:06:14 +09:00 by ghallak

Warnings for negative spends and division by zero do not evaluate expressions

#356 opened 2021-11-24 19:04:55 +09:00 by ghallak

Add warning for non-exhaustive patterns

#355 opened 2021-11-24 18:59:49 +09:00 by ghallak

Create every child contract at most once

#316 opened 2021-05-25 17:58:33 +09:00 by zxq9

Also support ChannelOffChainTx introspection in auth

consensus-breaking

#290 opened 2020-11-26 21:56:16 +09:00 by uwiger

Custom named arguments

#276 opened 2020-08-19 20:09:31 +09:00 by zxq9

Partial operator application

good first issue

#235 opened 2020-02-20 23:21:23 +09:00 by zxq9

Add comparable typevar constraints

#229 opened 2020-02-20 23:15:44 +09:00 by zxq9

Currying support

good first issue

#227 opened 2020-02-20 23:14:00 +09:00 by zxq9

Lambda types forget stateful constraint

todo-in-rewrite

#217 opened 2020-02-08 01:00:30 +09:00 by zxq9

Recursive datatypes

consensus-breaking

#200 opened 2019-12-09 21:37:32 +09:00 by zxq9

Parameterised contracts

#199 opened 2019-12-09 21:36:53 +09:00 by zxq9

Contract inheritance

#198 opened 2019-12-09 21:33:55 +09:00 by zxq9

Builtin modifiers for token amounts

effort: trivial

good first issue

#193 opened 2019-12-09 21:13:18 +09:00 by zxq9

Builtin types for date and time

#192 opened 2019-12-09 21:10:09 +09:00 by zxq9

1 2 3