Ability to "stop" compilation process and print context of hole. In case of Stacky, it's expected types (if any) and required types. For example with syntax for hole beeing `!?`: ``` add3 fun u64 u64 u64 -- u64 is + !? end ``` Inspired by [Haskell](https://wiki.haskell.org/GHC/Typed_holes).
Ability to "stop" compilation process and print context of hole. In case of Stacky, it's expected types (if any) and required types.
For example with syntax for hole beeing
!?:Inspired by Haskell.