matijapretnar/eff

Typo in error message

Closed this issue · 0 comments

ohad commented 
This expression has a forbidden cylclic type

cylclic -> cyclic

in:

src/typing/simple/simpleUnify.ml line 14