Oleg Grenrus
Oleg Grenrus
### Summary ... and sometimes when GHC does (or doesn't) something the code using that module fails to compile: ``` GHC Core to PLC plugin: E042:Error: Unsupported feature: Irreducible type...
### Describe the feature you'd like Add a version of `compile` which take options For example to disable EDIT: (UPLC -> UPLC) optimization pass (or particular optimizations if there would...
by looking at some contracts' plutus core, there are some of `(force mkCons)`, `(force trace)`, `(force ifThenElse)` for example. I guess in these forcings are cheap to store and execute,...
### Describe the feature you'd like It's possible to write such term, just making an empty list constant. But if I want to use `plutus-tx`, how I would get such...
It would be great to be able to tell whether it was - explicit `error` - builtin function invariant violation (e.g. calling `equalsInteger` with non-integers) - "type" error, e.g. trying...
Currently `trace` can dump only `Text` values. That is very limiting. Allowing to dump arbitrary values (including `Data`) would be very helpful for print-style debugging.
E.g. when trying to parse `future.pir` (in the `plutus-use-cases/test/Spec`), I get the following error: ``` pir/future.pir: pir/future.pir:204:10: | 204 | (datatypebind | ^^^^^^^ unexpected "datatyp" expecting "abs", "builtin", "con", "error",...
## Describe the feature you'd like force and delay are introduced to UPLC to reduce code size, an option would been to use unit abstraction and application. I don't see...
```haskell -- check invariants valid :: Text -> Bool ``` For strict text it would check that array is big enough to have offset+length, and that the slice is valid...
Something like ```diff diff --git a/src/Data/Text/Encoding.hs b/src/Data/Text/Encoding.hs index 239e15e..9b6a01c 100644 --- a/src/Data/Text/Encoding.hs +++ b/src/Data/Text/Encoding.hs @@ -436,7 +436,10 @@ encodeUtf8 (Text arr off len) fp with ptr $ \destPtr -> do...