brownplt/strobe

Issues

• Instructions

  #72 opened 12 years ago by achudnov
  0

• Can't get strobe to work

  #71 opened 12 years ago by devd
  5

• put functions in object

  #70 opened 13 years ago by arjunguha
  0

• configurable error cases

  #69 opened 13 years ago by arjunguha
  0

• implement labels

  #67 opened 13 years ago by arjunguha
  0

• implement abstract types

  #68 opened 13 years ago by arjunguha
  0

• bug in sb_strPat.ml

  #66 opened 13 years ago by arjunguha
  0

• type-weaving bugs

  #64 opened 13 years ago by arjunguha
  0

• Call new_line in block_comment, etc.

  #63 opened 13 years ago by arjunguha
  0

• delete operator

  #55 opened 14 years ago by arjunguha
  1

• IDL-parsed DOM types should use Inherited

  #62 opened 13 years ago by arjunguha
  1

• Parse JSCompiler externs

  #58 opened 13 years ago by arjunguha
  2

• Fatal error: exception Sb_kinding.Kind_error

  #61 opened 13 years ago by arjunguha
  0

• flow analysis regression

  #65 opened 13 years ago by arjunguha
  0

• Various interesting flow typing tests are failing

  #47 opened 13 years ago by arjunguha
  0

• Report multiple type errors

  #56 opened 13 years ago by arjunguha
  1

• cleanup:

  #60 opened 13 years ago by arjunguha
  0

• Clean up test suite

  #59 opened 13 years ago by arjunguha
  0

• Allow untyped functions

  #57 opened 13 years ago by arjunguha
  0

• Clean up all type identifiers

  #53 opened 13 years ago by jpolitz
  2

• add support for string concatenation in flows again

  #54 opened 14 years ago by arjunguha
  0

• calculated object types for literals and values need to specify absent fields

  #48 opened 14 years ago by arjunguha
  1

• kind checking

  #49 opened 14 years ago by arjunguha
  1

• Bounded Polymorphism Constraints

  #52 opened 14 years ago by jpolitz
  0

• better inference

  #51 opened 14 years ago by arjunguha
  0

• coverage check in object subtyping

  #50 opened 14 years ago by arjunguha
  0

• [0, "string"] : Array<(ref (Int + String))>, not Array<((ref Int) + (ref String))>

  #24 opened 14 years ago by csaftoiu
  1

• be able to use functions inside a constructor body that are defined right after (like .prototype.foo = ...)

  #26 opened 14 years ago by csaftoiu
  1

• parse Refs

  #46 opened 14 years ago by arjunguha
  1

• desugar constructors honestly

  #30 opened 14 years ago by arjunguha
  1

• mk_env' is missing calls to normalize/check typ

  #41 opened 14 years ago by arjunguha
  1

• soundness of Env.clear_labels is tenuous

  #39 opened 14 years ago by arjunguha
  1

• distinguish +undefined from nullable

  #28 opened 14 years ago by arjunguha
  1

• typedjs_dyn.transform_exprs is a mess

  #29 opened 14 years ago by arjunguha
  1

• implement paths

  #33 opened 14 years ago by arjunguha
  2

• add syntax support for inheritance (.prototype = new ...)

  #25 opened 14 years ago by csaftoiu
  1

• add support for omitting optional arguments

  #27 opened 14 years ago by csaftoiu
  1

• array properties

  #35 opened 14 years ago by csaftoiu
  1

• Functions and Arrays from the Ad

  #44 opened 14 years ago by jpolitz
  2

• Soundness of Array lookup

  #45 opened 14 years ago by jpolitz
  2

• implement if (foo /* undefined */)

  #32 opened 14 years ago by arjunguha
  1

• Object.prototype in expression context

  #31 opened 14 years ago by arjunguha
  1

• Typing EBracket when the object is a union/rec type

  #43 opened 14 years ago by jpolitz
  1

• need a reasonable way to relax the "expected Bool in conditional" error

  #40 opened 14 years ago by arjunguha
  4

• figure out why this2.js worked in the popl submission

  #42 opened 14 years ago by arjunguha
  2

• ensure that top-level identifiers cannot be redefined

  #38 opened 14 years ago by arjunguha
  1

• exception name is unbound in catch

  #37 opened 15 years ago by arjunguha
  0

• fix constructors not being identified sometimes

  #36 opened 15 years ago by csaftoiu
  1

• do/while loops

  #34 opened 15 years ago by csaftoiu
  1

• block comments mess up line numbers

  #23 opened 15 years ago by arjunguha
  2