prakhar1989/JSJS

Issues

• Pattern Matching

  #54 opened 9 years ago by prakhar1989
  0

• print() function doesn't typecheck correctly in function blocks

  #79 opened 8 years ago by gaurangsadekar
  1

• Bug in string_of_type for generic placeholders

  #80 opened 8 years ago by gaurangsadekar
  0

• Type-Casting Functions

  #78 opened 8 years ago by bahuljain
  0

• Type check in throw-try-catch

  #77 opened 8 years ago by bahuljain
  0

• Test Cases

  #53 opened 9 years ago by bahuljain
  0

• Weird Javascript Error 'print is not a function'

  #75 opened 8 years ago by gaurangsadekar
  5

• Need to distinguish between Lambdas as expressions and Lambdas within expressions

  #76 opened 8 years ago by gaurangsadekar
  0

• Node Issue with block scoping

  #72 opened 8 years ago by bahuljain
  2

• Data Structures: Lists

  #32 opened 9 years ago by prakhar1989
  0

• Type Checking in Chained Module Lit Calls is completely bypassed

  #73 opened 8 years ago by gaurangsadekar
  0

• Add a flag that allows input from stdin and writes to stdout

  #62 opened 9 years ago by prakhar1989
  0

• Equality checking for lists and maps

  #70 opened 9 years ago by prakhar1989
  1

• Pipeline operator

  #39 opened 9 years ago by prakhar1989
  1

• Pass type-information to codegen

  #71 opened 9 years ago by prakhar1989
  0

• Build library definitions as if user code

  #67 opened 9 years ago by prakhar1989
  0

• Allow `_` as a disposable identifier

  #65 opened 9 years ago by prakhar1989
  0

• Completed pending implementation in stringify.ml

  #69 opened 9 years ago by prakhar1989
  0

• Interface / Header declarations for module usage

  #68 opened 9 years ago by prakhar1989
  0

• Generating print-fns correctly

  #64 opened 9 years ago by prakhar1989
  0

• Type Error: in print

  #63 opened 9 years ago by prakhar1989
  0

• Type checking fails on list expressions when they are at the top

  #66 opened 9 years ago by prakhar1989
  0

• Fix exceptions in new typechecker

  #59 opened 9 years ago by prakhar1989
  1

• Currying

  #61 opened 9 years ago by gaurangsadekar
  0

• Prettier Typed AST generation

  #60 opened 9 years ago by prakhar1989
  0

• Add Travis integration

  #58 opened 9 years ago by prakhar1989
  0

• Have optional types `Some` and `None`

  #51 opened 9 years ago by prakhar1989
  0

• Add Tuples in JSJS

  #52 opened 9 years ago by prakhar1989
  0

• Placeholder types cannot be reserved

  #56 opened 9 years ago by prakhar1989
  8

• Hindley Milner Type Inference

  #31 opened 9 years ago by prakhar1989
  1

• Function application does not work with lambda expressions

  #55 opened 9 years ago by prakhar1989
  1

• Math

  #46 opened 9 years ago by bahuljain
  3

• Document the code

  #41 opened 9 years ago by prakhar1989
  0

• Adding tests

  #49 opened 9 years ago by prakhar1989
  1

• Exceptions

  #38 opened 9 years ago by prakhar1989
  2

• Semantic check: Do not allow JS keywords to be defined

  #33 opened 9 years ago by prakhar1989
  0

• Type check non-generic types in function call

  #50 opened 9 years ago by prakhar1989
  0

• Test harness for JSJS

  #48 opened 9 years ago by prakhar1989
  1

• Better error for wrong generic syntax

  #34 opened 9 years ago by prakhar1989
  0

• JS module

  #47 opened 9 years ago by prakhar1989
  0

• Keys as strings only

  #44 opened 9 years ago by prakhar1989
  1

• TAny should type check differently

  #35 opened 9 years ago by prakhar1989
  3

• Data Structures: Map

  #37 opened 9 years ago by bahuljain
  0

• Cannot have `val` declarations in return statements

  #45 opened 9 years ago by prakhar1989
  0

• Modules

  #42 opened 9 years ago by prakhar1989
  0

• Unused variable warnings

  #43 opened 9 years ago by prakhar1989
  0

• Add a Vim syntax file for highlighting JSJS code

  #40 opened 9 years ago by prakhar1989
  0

• Add a cons operator

  #36 opened 9 years ago by prakhar1989
  2

• Generics

  #29 opened 9 years ago by prakhar1989
  0

• Generics: Check if correct type identifiers are used

  #30 opened 9 years ago by prakhar1989
  1