f-sharp

Feature category

• Check(Type 'x') any that Applicable item:
  • Vim
  • Vim plugin

Currently it seems that VsVim (and Vim for that matter) do not support interpolated strings of C#. It would be really neat if in a string like the following:

logger.Info($"Starting to move tokens {(string.Join(", ", tokens))} from card with code: {oldCard.Code} to replacement card with

A formula like forall x1. forall. x2. exists x3. phi gets resugared to, and hence pretty printed as, forall x1 x2 x3. phi. The bug is in the uncurry function in FStar.Syntax.Reguar.fs.