Missing position in kind mismatch (during effect desugaring)

[rajdakin]

The following code:

sig f : Comp({}, Bool)
fun f() { () }

fails with the error:

:0: Kind mismatch: Type argument 1 for type constructor Comp has kind Row, but an argument of kind Type was expected. 
In:
<dummy>

which does not contain any location information. This is due to these lines:

links/core/desugarEffects.ml

Line 881 in 5156ea3

let pos = SourceCode.Position.dummy in

links/core/desugarEffects.ml

Lines 905 to 908 in 5156ea3

	raise
	(Errors.type_application_kind_mismatch pos tycon i
	(PrimaryKind.to_string (fst k))
	(PrimaryKind.to_string pk_row))

Note that the dummy position is also present elsewhere in this file; I did not try to find an example which makes use of that fact.