[bitc-dev] Syntax for constraints

[Jonathan S. Shapiro]

On Mon, Apr 12, 2010 at 2:12 PM, Jonathan S. Shapiro <shap at eros-os.org> wrote:
> Given the other discussion about application and
> parameterized types, though, it's going to be:
>
>  def sortList (lst :: List 'a) where Ord('a), Eq('a) {
>     ...
>  }

Oh. And when it appears in a type, it is:

  type WHERE constraints

This is all pretty funny. We started with the forall constraints
inside the defining forms in BitC, and Swaroop persuaded me to move
them syntactically to enclose the defining form...