abstools/habs

Issues

• No check for single return as last statement

  #4 opened 8 years ago by bezirg
  0

• Token Ring Algorithm does not work for the Haskell backend

  #20 opened 6 years ago by awsaf
  0

• Re-assignment of captured pattern in Case-Statement

  #2 opened 9 years ago by bezirg
  0

• Re-assignment of method parameters

  #12 opened 8 years ago by bezirg
  0

• Callee cannot be an arbitrary PureExp

  #19 opened 8 years ago by bezirg
  0

• REST API: Reading object state, querying&deleting objects not implemented

  #18 opened 8 years ago by bezirg
  0

• Compiler bugs

  #8 opened 8 years ago by kazadbakht
  0

• AssertException does not exit the program; only that process

  #17 opened 8 years ago by bezirg
  0

• Erlang-style "case-unification" for fields

  #16 opened 8 years ago by bezirg
  0

• Runtime option for setting the initial random seed for the builtin `random` EffExp

  #15 opened 8 years ago by bezirg
  0

• HTTPCallable,HTTPName (REST API) only works inside Main module

  #14 opened 8 years ago by bezirg
  0

• Ordering for Futures and Objects

  #13 opened 8 years ago by bezirg
  0

• Initializing a field to `this`

  #11 opened 8 years ago by bezirg
  1

• Fut<A> should have covariant subtyping (right now it is invariant)

  #10 opened 8 years ago by bezirg
  0

• Remote method call with more than one parameter causes error

  #9 opened 8 years ago by kazadbakht
  0

• Methods with equal names inside the same module not permitted

  #3 opened 9 years ago by bezirg
  2

• SymbolTable crashes if datatype-dataconstructor name-clash, e.g. `data C=C|..`

  #1 opened 9 years ago by bezirg
  0

• Codegen outputs incomplete HS code upon translation errors

  #5 opened 9 years ago by bezirg
  0

• Class/Interface same-name collision

  #7 opened 8 years ago by bezirg
  0

• Better String implementation: Move from [Char] to Text

  #6 opened 9 years ago by bezirg
  0