Open lukewilliamboswell opened 1 year ago
even smaller reproducer
interface Test
exposes [createNode]
imports []
createNode = \diffState -> List.walk [] diffState createChildNode
createChildNode : U32, {} -> U32
createChildNode = \diffState, {} -> createNode diffState
expect
createNode 1 == 2
Solution is https://roc.zulipchat.com/#narrow/stream/395097-compiler-development/topic/checkmate/near/395423545, but needs implementation.
This is a minimal repro for the type check issue currently blocking virtual-dom-wip platform.