search

hexresearch / hschain-utxo

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

Evaluation of empty lists produces error even if it's typed #201

Closed anton-k closed 3 years ago

anton-k commented 3 years ago

In hschain-utxo-repl:

 > [] :: [Int]
:-1:-1: Failed to find monomorphic type for Type variable encountered

Also 

 > q = [] :: [Int]
 > q ++ [1,2]
:-1:-1: Failed to find monomorphic type for Type variable encountered
anton-k commented 3 years ago

Got fixed