Issues

• Review of module system and separate compilation

  enhancementmajor
  hkuplg/fcore#229 · Filter by author zhiyuanshi opened on Dec 7, 2015
  

• Use java-bridge for JVM queries?

  minor
  hkuplg/fcore#227 · Filter by author tomtau opened on Nov 30, 2015
  

• Blackholing

  hkuplg/fcore#226 · Filter by author tomtau opened on Nov 30, 2015

• Consider adding coverage tests...

  enhancement
  hkuplg/fcore#225 · Filter by author mgajda opened on Nov 30, 2015
  

• Reorganize source directory

  enhancementmajor
  hkuplg/fcore#221 · Filter by author bixuanzju opened on Oct 24, 2015
  

• Move towards a declaration-based language and support main

  hkuplg/fcore#213 · Filter by author zhiyuanshi opened on Aug 31, 2015

• Investigating declaring datatypes in a module and how to import them

  majorready
  hkuplg/fcore#201 · Filter by author bixuanzju opened on Aug 22, 2015
  

• Investigate Proguard for additional backend optimiztion

  hkuplg/fcore#192 · Filter by author bixuanzju opened on Jun 4, 2015
  1

  

• fresh name generation

  blockerready
  hkuplg/fcore#190 · Filter by author bixuanzju opened on Jun 4, 2015
  4

  

• BaseTransCFJava.trans: expected tuple type

  bugready
  hkuplg/fcore#189 · Filter by author hy-zhang opened on Jun 3, 2015
  1

  

• Bug found in PolyList

  ready
  hkuplg/fcore#178 · Filter by author dynastywind opened on May 7, 2015
  8

  

• Impossible Happened

  hkuplg/fcore#174 · Filter by author dynastywind opened on Apr 30, 2015
  4

• Don't translate all recursive definitions to LetRec

  enhancementminor
  hkuplg/fcore#161 · Filter by author zhiyuanshi opened on Apr 4, 2015
  6

  

• Decouple the adapter of Java compiler server with the logic of testing

  enhancementminor
  hkuplg/fcore#160 · Filter by author zhiyuanshi opened on Apr 4, 2015
  

• Handling Java exceptions

  enhancementin progress
  hkuplg/fcore#136 · Filter by author zonyitoo opened on Mar 19, 2015
  11

  

• Add support of other primitive data type

  enhancementminor
  hkuplg/fcore#134 · Filter by author zonyitoo opened on Mar 19, 2015
  3

• Wildcards in pattern match

  enhancementminor
  hkuplg/fcore#120 · Filter by author zonyitoo opened on Mar 15, 2015

• Symbol not in scope error in "block"

  enhancementminor
  hkuplg/fcore#113 · Filter by author zonyitoo opened on Mar 11, 2015
  6

  

• Ask letrec to have a syntactic requirement to disallow problematic mutual recursion

  enhancementminor
  hkuplg/fcore#110 · Filter by author zonyitoo opened on Mar 11, 2015
  23

• Need support of error to represent unrecoverable logical error

  enhancementminor
  hkuplg/fcore#108 · Filter by author zonyitoo opened on Mar 11, 2015
  2

• Support "_" as variable name

  enhancementminor
  hkuplg/fcore#103 · Filter by author zonyitoo opened on Mar 11, 2015
  22

• Handle conditional expressions with non-identical types

  enhancementminor
  hkuplg/fcore#102 · Filter by author zhiyuanshi opened on Mar 10, 2015
  

• Java void should maps to Unit

  bugready
  hkuplg/fcore#101 · Filter by author zhiyuanshi opened on Mar 10, 2015
  1

  

• Parse new java.util.ArrayList() correctly

  bugminor
  hkuplg/fcore#97 · Filter by author zhiyuanshi opened on Mar 9, 2015
  

• Typechecker should only accept equality between primitive types

  bugminorready
  hkuplg/fcore#96 · Filter by author zhiyuanshi opened on Mar 9, 2015
  2