Commits

Branch selector

 b2c4fff

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 6, 2014

• 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

• string type

  yinwang0

  committed
  c677e9d

• letting record form define name again

  yinwang0

  committed
  d6bc6dc

• no need to write :type because it is required

  yinwang0

  committed
  6057643

• check null properties

  yinwang0

  committed
  d3f9e21

Commits on Feb 3, 2014

• make record types first-class only (not sure if it is good idea)

  yinwang0

  committed
  3ae9359

• treat RecordValue in more uniform way

  yinwang0

  committed
  cd26b6d

• get the time of evaluation right

  yinwang0

  committed
  d9d72bf

• factor out a bit more things

  yinwang0

  committed
  34f28ee

• reorder a bit

  yinwang0

  committed
  819b8a8

• small clean up

  yinwang0

  committed
  dfe2cf9

Commits on Feb 2, 2014

• apply Declare.evalProperties to functions with properties

  yinwang0

  committed
  42585ab

• support a second kind of parameters

  Show description for 68b7725
  yinwang0

  committed
  68b7725

• shorten tuple.elements

  yinwang0

  committed
  cddcabd

• factor out parseProperties

  yinwang0

  committed
  05d74c0

• declare should be a special form, not a call

  yinwang0

  committed
  76be1ba

Commits on Feb 1, 2014

• more error detecting for records

  yinwang0

  committed
  f747989

• fix case default value missing

  yinwang0

  committed
  8efacea

• improve error detecting

  yinwang0

  committed
  8d6ce53

• support the declare special form

  yinwang0

  committed
  f371629

Pagination

PreviousNext