Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 8, 2014

• bigger headers

  yinwang0

  committed
  5a8582a

• google group link

  yinwang0

  committed
  a4bb429

• remove idea file

  yinwang0

  committed
  c51fed4

• use AGPLv3 license

  yinwang0

  committed
  4455c18

Commits on Feb 9, 2014

• - should also groupAttr of last node in list

  Show description for 82175b7
  yinwang0

  committed
  82175b7

Commits on Feb 8, 2014

• return type check should turn off Any's subtyping rule because it is instantiated

  yinwang0

  committed
  efcc0b6

• simple clean ups

  yinwang0

  committed
  4e785f3

• remove more dynamic type checks

  yinwang0

  committed
  4fb0316

• start removing dynamic checks in interpreter

  yinwang0

  committed
  e63195a

• fix special case where comment is at end of file

  yinwang0

  committed
  fd846b4

• type check record instantiation

  yinwang0

  committed
  5b523eb

Commits on Feb 7, 2014

• at calls, need to check function body return value against specified type if any

  yinwang0

  committed
  65afb7c

• add Any type and "generics"

  yinwang0

  committed
  48913b1

• Merge branch 'simplify-parameters'

  yinwang0

  committed
  cafed38

• old tests

  yinwang0

  committed
  de01123

• Merge pull request #3 from yinwang0/simplify-parameters

  Show description for 3432d0a
  yinwang0

  committed
  3432d0a

• typecheck rest of constructs (vectors need more work)

  yinwang0

  committed
  a87af4e

Commits on Feb 6, 2014

• change name of language. fix uncalled concurrent modification error

  yinwang0

  committed
  a094a1a

• fix test

  yinwang0

  committed
  6080753

• implement U operator for union types

  yinwang0

  committed
  b2c4fff

• check return types

  yinwang0

  committed
  1312625

• Don't evaluate return type

  Show description for 7ff5dc2
  yinwang0

  committed
  7ff5dc2

Commits on Feb 5, 2014

• fix union type - make BoolType unique

  yinwang0

  committed
  ac14d47

• detect recursion

  yinwang0

  committed
  b384367

• type check recursive types

  yinwang0

  committed
  9361337

• type check primitives

  yinwang0

  committed
  958fa37

• pass annotations into function body

  yinwang0

  committed
  5418525

• -> is not a parameter name

  yinwang0

  committed
  7c4d5a6

• basic function type

  yinwang0

  committed
  1646f6f

• type check functions

  yinwang0

  committed
  d6f8850

• fix indentation

  yinwang0

  committed
  5bce210

• small fix

  yinwang0

  committed
  950bffe

• add union type

  yinwang0

  committed
  5803f99

• start making type checker

  yinwang0

  committed
  b4398a1

Commits on Feb 4, 2014

• type checker template

  yinwang0

  committed
  fa60999

Pagination

PreviousNext