[bitc-dev] Syntax for constraints

Jonathan S. Shapiro shap at eros-os.org
Mon Apr 12 14:13:57 PDT 2010


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...



More information about the bitc-dev mailing list