ggreif/omega

Issues

• L and K should be available at the type (or above) level

  #111 opened 9 years ago by GoogleCodeExporter
  2

• solitary patterns involving type functions do not work

  #109 opened 9 years ago by GoogleCodeExporter
  0

• tyfun rule is kind-unsafe, but still accepted

  #110 opened 9 years ago by GoogleCodeExporter
  0

• prop rules malfunction when overlaps exist

  #107 opened 9 years ago by GoogleCodeExporter
  3

• toplevel binding being defined not in scope of 'where' clause

  #108 opened 9 years ago by GoogleCodeExporter
  1

• Single colons in :k and :t

  #105 opened 9 years ago by GoogleCodeExporter
  4

• 42t is accepted at the value level

  #106 opened 9 years ago by GoogleCodeExporter
  0

• Printing type of polymorphic constructor

  #101 opened 9 years ago by GoogleCodeExporter
  1

• repl misformats certain labels

  #102 opened 9 years ago by GoogleCodeExporter
  1

• Int type overflows

  #103 opened 9 years ago by GoogleCodeExporter
  0

• bad type function accepted as inductively sequential

  #104 opened 9 years ago by GoogleCodeExporter
  0

• ":k (~>)" crashes

  #99 opened 9 years ago by GoogleCodeExporter
  1

• document "pattern" declarations

  #100 opened 9 years ago by GoogleCodeExporter
  1

• enhance built-in Parser type to provide everything needed for parsing Omega itself

  #96 opened 9 years ago by GoogleCodeExporter
  3

• kill off 'primitives'

  #97 opened 9 years ago by GoogleCodeExporter
  1

• 'Ex' inside data constructor does not typecheck

  #98 opened 9 years ago by GoogleCodeExporter
  1

• Wrong type inference in rank-2-type

  #94 opened 9 years ago by GoogleCodeExporter
  3

• function returning pair with higher-rank type does not typecheck

  #95 opened 9 years ago by GoogleCodeExporter
  3

• provide a cabal package

  #92 opened 9 years ago by GoogleCodeExporter
  3

• Does not compile with GHC 7.0.3

  #93 opened 9 years ago by GoogleCodeExporter
  1

• Crash with redundant forall

  #91 opened 9 years ago by GoogleCodeExporter
  13

• pattern matching of functions should be rejected (as in GHC)

  #90 opened 9 years ago by GoogleCodeExporter
  1

• type annotation with :: has strange priority

  #89 opened 9 years ago by GoogleCodeExporter
  4

• Patch for /trunk/LICENSE.txt

  #85 opened 9 years ago by GoogleCodeExporter
  1

• remove the 1n syntax extension

  #86 opened 9 years ago by GoogleCodeExporter
  1

• type functions cannot return (* ~> *)

  #87 opened 9 years ago by GoogleCodeExporter
  0

• allow syntax extension for the *type* constructor

  #88 opened 9 years ago by GoogleCodeExporter
  0

• Arrow types displayed wrongly

  #83 opened 9 years ago by GoogleCodeExporter
  2

• Sub-Equal facts not added when normalizing

  #84 opened 9 years ago by GoogleCodeExporter
  1

• kill off remains of 'ex'

  #80 opened 9 years ago by GoogleCodeExporter
  1

• showing of objects lumps together different syntax extensions (of the same kind)

  #81 opened 9 years ago by GoogleCodeExporter
  3

• annotated binding occurrences parsed but not enforced

  #82 opened 9 years ago by GoogleCodeExporter
  0

• feasibility of syntax extension constructors not validated

  #77 opened 9 years ago by GoogleCodeExporter
  2

• fresh, freshen break referential transparency

  #78 opened 9 years ago by GoogleCodeExporter
  1

• 'omega -tests' always returns success

  #79 opened 9 years ago by GoogleCodeExporter
  2

• unsaturated constructors not rejected in data definition

  #76 opened 9 years ago by GoogleCodeExporter
  1

• restricted license is not OSI

  #74 opened 9 years ago by GoogleCodeExporter
  9

• Displaying higher-rank types

  #75 opened 9 years ago by GoogleCodeExporter
  1

• unification via Eq does not work for Label/Tag

  #73 opened 9 years ago by GoogleCodeExporter
  1

• type functions' names are also added into value namespace

  #71 opened 9 years ago by GoogleCodeExporter
  6

• Incorrect literature reference

  #72 opened 9 years ago by GoogleCodeExporter
  3

• multi-level singleton kinds fail to typecheck

  #70 opened 9 years ago by GoogleCodeExporter
  11

• pattern match failure: Non-exhaustive patterns in function "exhibit"

  #68 opened 9 years ago by GoogleCodeExporter
  2

• LabelNotEq should hold ordering information

  #69 opened 9 years ago by GoogleCodeExporter
  1

• Document sameLabel and friends in the manual

  #66 opened 9 years ago by GoogleCodeExporter
  3

• (DiffLabel m n) is not usable as a proposition

  #67 opened 9 years ago by GoogleCodeExporter
  3

• L and R are not in scope

  #65 opened 9 years ago by GoogleCodeExporter
  11

• Relax requirements for "deriving Nat(s)"

  #64 opened 9 years ago by GoogleCodeExporter
  6

• character 'o' not available as data suffix

  #63 opened 9 years ago by GoogleCodeExporter
  3

• Implement type classes

  #62 opened 9 years ago by GoogleCodeExporter
  2