search

hexresearch / hschain-utxo

UTXO-based contracts for hschain
0 stars 0 forks source link

foldl execution problem #197

Closed anton-k closed 3 years ago

anton-k commented 3 years ago

In hschain-utxo-repl 

 > foldl (\(tot, xs) a -> (tot + a, [tot] ++ xs)) (0, []) [1,2,3]
Not a list
Shimuuar commented 3 years ago

Evaluator only can return primitives and lists (as special case for testing). In order to support evaluation of scripts without type checking we'll have to store type of every value on heap. It will naturally allow to fix this isuue