Renegatto

Results 11 issues of Renegatto

## Summary Instance `PlutusTx.Semigroup.Semugroup Plutus.V2.Ledger.Api.Value` violates associativity law in relation to `PlutusTx.Eq.==` and `Prelude.==`. If `Value` were built using only `singleton` and `` - it holds associativity. But manually `Value`...

bug

### Abstract `tstl` fails to produce valid `lua` code from a subset of valid (accordingly to `tstl` docs) code if `ts` file names contain dots in paths. This problem may...

bug
scope: transpile

Valid JS code ```js export { map, void } from "../Data.Functor/index.js"; ``` causes transpilation error: ``` Control.Apply /home/renegatto/castl/bin/castl.js:170 throw new SyntaxError("Couldn't transpile JS code: " + e); ^ SyntaxError: Couldn't...

Flow version: 0.144.0 Followed code are invalid at the type level, but it successfully typechecks by Flow: ```ts /* @flow */ class Foo { foo : string } //field 'foo'...

bug
Typing: soundness

Flow version: 0.145.0 ```ts /* @flow */ class Animal { } class Dog extends Animal { bark() { } } class Cat extends Animal { meow() { } } const...

bug
Typing: soundness

`DecodeResponse` class has only limited amount of instances and these are for Strings, Arrays and Records only. [README entry](https://github.com/hoodunit/purescript-payload#responses)

It works perfectly on FX505DV-HN279. Thanks for your great job!

## Description It seems that in some cases compiler does not recognize that `"(foo" :: Symbol) ~ ("foo" :: Symbol)` in presence of row types and their magic constraints. ##...

type: bug

Currently purescript-lua only support bundling, I.e. merging all the modules into the one lua file. However it is often needed to keep the initial directory structure and keep lua modules...

enhancement

The usage of `Data.Lens._Newtype` includes `_Newtype` in the output, but it compiles incorrectly into: ```lua M.MyModule__Newtype = M.Data_Profunctor_dimap(dictProfunctor)(M.Safe_Coerce_coerce()) ``` where `dictProfunctor` is undefined in the output lua module. I suppose...

bug