Can RollForward.tip ever be 'origin'? #302
-
|
According to TypeScript types, |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
|
It can't. The only reason it's specified as such is because the type is reused in some other places where origin is a possible case. This should have been modeled as two different types but since I am also relying on input-output's codebase for some parts of the testing (reusing arbitrary generators for property-based testing), I needed to play along and keep that. There are a few other "inconsistency" like this one in the JSON schema which are a bit annoying and stem mainly from the underlying ledger/consensus Haskell representations. |
Beta Was this translation helpful? Give feedback.
It can't. The only reason it's specified as such is because the type is reused in some other places where origin is a possible case. This should have been modeled as two different types but since I am also relying on input-output's codebase for some parts of the testing (reusing arbitrary generators for property-based testing), I needed to play along and keep that. There are a few other "inconsistency" like this one in the JSON schema which are a bit annoying and stem mainly from the underlying ledger/consensus Haskell representations.