ermine-language/ermine

Issues

• Are IRC channels still on freenode or have they moved to libera?

  #25 opened 3 years ago by cognivore
  1

• ekg cannot be turned on for Windows builds

  #17 opened 10 years ago by S11001001
  7

• Compiler work metabug

  #24 opened 9 years ago by S11001001
  0

• Revisit data type declarations in the new compiler, to see if we can improve inference for partially annotated data types

  #23 opened 9 years ago by S11001001
  0

• Save findGlobals name index for resolving names while parsing statements

  #21 opened 10 years ago by S11001001
  0

• :load REPL command

  #20 opened 10 years ago by S11001001
  0

• Satisfy 'moduleLoader''s State requirement in the REPL

  #16 opened 10 years ago by S11001001
  0

• Parse whitespace and comments

  #18 opened 10 years ago by S11001001
  2

• Look up names in 'explicit' parser

  #15 opened 10 years ago by S11001001
  2

• Ref top-level names by list position in assembleBindings

  #19 opened 10 years ago by S11001001
  0

• Add some properties or tests for topSort and fetchGraphM

  #13 opened 10 years ago by S11001001
  2

• Generalize `wholeModule`'s type

  #14 opened 10 years ago by S11001001
  0

• Better partial inference for `checkDataTypeKinds`

  #8 opened 10 years ago by ekmett
  1

• Alleviate limitations of the "potbelly" algorithm:

  #12 opened 10 years ago by ekmett
  1

• `:load` command unknown

  #11 opened 10 years ago by Davorak
  2

• Compile fails: 'src/Ermine/Monitor/Options.hs:32:99:' (OS X 10.9.4, GHC 7.8.3)

  #10 opened 10 years ago by switheyw
  0

• Getting started

  #5 opened 11 years ago by imeredith
  3

• Allow non-constructor term names to start with `:`

  #1 opened 12 years ago by S11001001
  1

• Spin off `Ermine.Unification.Sharing` as a separate package?

  #7 opened 11 years ago by ekmett
  0

• Select operators for import

  #3 opened 12 years ago by S11001001
  0

• This may be an issue with the unicode codepage support on Windows:

  #2 opened 12 years ago by ekmett
  1