dannywillems/RML

Issues

• Canonical form for a type.

  #61 opened 7 years ago by dannywillems
  0

• How to use a type defined with a functor in a signature?

  #48 opened 7 years ago by dannywillems
  2

• Algo subtyping with variable.

  #60 opened 7 years ago by dannywillems
  0

• Add in README ascription avoidance problem

  #55 opened 7 years ago by dannywillems
  0

• Multiple with with and between them.

  #59 opened 7 years ago by dannywillems
  0

• With sugar

  #28 opened 7 years ago by dannywillems
  1

• Where do we need var_pack? (not used for now)

  #40 opened 7 years ago by dannywillems
  1

• Rules to compare recursive types.

  #58 opened 8 years ago by dannywillems
  0

• Need to handle the case with two recursives types.

  #57 opened 8 years ago by dannywillems
  0

• Recursive type inside recursive type

  #56 opened 8 years ago by dannywillems
  0

• Dict

  #53 opened 8 years ago by dannywillems
  0

• Stack overflow when subtyping on list.

  #38 opened 8 years ago by dannywillems
  1

• Use a variable in the subtyping algorithm.

  #54 opened 8 years ago by dannywillems
  0

• Sugar for type without module sig

  #52 opened 8 years ago by dannywillems
  0

• Write a top level interpreter.

  #51 opened 8 years ago by dannywillems
  0

• Evaluation.

  #14 opened 8 years ago by dannywillems
  0

• Infix operator.

  #15 opened 8 years ago by dannywillems
  0

• Exceptions.

  #16 opened 8 years ago by dannywillems
  0

• Arguments to the executable to include new directory different than stdlib.

  #18 opened 8 years ago by dannywillems
  0

• Export derivation tree in a JSON file.

  #20 opened 8 years ago by dannywillems
  2

• Subtyping test polymorphic list with functions.

  #29 opened 8 years ago by dannywillems
  0

• Consider a file as a module.

  #33 opened 8 years ago by dannywillems
  0

• Top level definition.

  #34 opened 8 years ago by dannywillems
  0

• Top level recursive functions.

  #35 opened 8 years ago by dannywillems
  0

• Improve inference algorithm for modules.

  #37 opened 8 years ago by dannywillems
  1

• Rules order in the subtyping algorithm.

  #46 opened 8 years ago by dannywillems
  0

• Not in environment with recursive modules in parameters of a function.

  #50 opened 8 years ago by dannywillems
  0

• Inner comments

  #49 opened 8 years ago by dannywillems
  0

• var_unpack

  #39 opened 8 years ago by dannywillems
  1

• Comparable interface.

  #47 opened 8 years ago by dannywillems
  0

• Sum types.

  #13 opened 8 years ago by dannywillems
  0

• Fix error subtyping algorithm.

  #41 opened 8 years ago by dannywillems
  2

• How to encode Unit?

  #42 opened 8 years ago by dannywillems
  0

• Map

  #45 opened 8 years ago by dannywillems
  0

• Graph implementation.

  #32 opened 8 years ago by dannywillems
  0

• How to encode String?

  #43 opened 8 years ago by dannywillems
  0

• How to encode Char?

  #44 opened 8 years ago by dannywillems
  0

• Strings

  #17 opened 8 years ago by dannywillems
  1

• How to encode Unit? Char? String?

  #36 opened 8 years ago by dannywillems
  1

• Polymorphic list.

  #31 opened 8 years ago by dannywillems
  0

• let binding functor capitalize letter.

  #30 opened 8 years ago by dannywillems
  0

• if then else

  #26 opened 8 years ago by dannywillems
  1

• Conditions

  #27 opened 8 years ago by dannywillems
  0

• Boolean

  #25 opened 8 years ago by dannywillems
  0

• Don't create a let binding when variable.

  #23 opened 8 years ago by dannywillems
  0

• Improve fresh variables name.

  #24 opened 8 years ago by dannywillems
  0

• Check typing action.

  #21 opened 8 years ago by dannywillems
  1

• Well formed action.

  #22 opened 8 years ago by dannywillems
  1

• Rename executable in RML

  #19 opened 8 years ago by dannywillems
  0

• Records

  #12 opened 8 years ago by dannywillems
  0