Custom Query (56 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#10079 Coercible solver regression: Couldn't match rep of () with Const () b new goldfire bug high 7.10.1
#7401 Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. new monoidal feature request normal 7.12.1
#5333 Arrow command combinators and infixr cause the desugarer to fail new ross bug low 7.12.1
#9399 CPP does not process test case enum01.hs correctly new rwbarton bug normal
#4899 Non-standard compile plus Template Haskell produces spurious "unknown symbol" linker error new simonmar bug low 7.12.1
#345 GADT - fundep interaction new simonpj bug low
#2256 Incompleteness of type inference: must quantify over implication constraints new simonpj bug lowest 7.12.1
#6089 Allow declaration splices inside declaration brackets new simonpj feature request normal 7.12.1
#7503 Bug with PolyKinds, type synonyms & GADTs new simonpj bug normal 7.12.1
#9981 Potential typechecker regression in GHC 7.10.1RC new simonpj bug normal 7.12.1
#8422 type nats solver is too weak! new bug normal 7.12.1
#8447 A combination of type-level comparison and subtraction does not work for 0 infoneeded bug low
#8524 GHC is inconsistent with the Haskell Report on which Unicode characters are allowed in string and character literals new bug normal
#8740 Deriving instance conditionally compiles new bug normal
#8808 ImpredicativeTypes type checking fails depending on syntax of arguments new bug normal
#8926 GHC makes unsound references in object code new bug normal
#8947 Depending on hint/ghc API fixes the binary version I can use new bug normal
#9022 TH pretty printer and GHC parser semicolon placement mismatch new bug normal 7.12.1
#9456 Weird behavior with polymorphic function involving existential quantification and GADTs new bug normal
#9553 GHC under Windows with TH can't tell that gtk-win32-2.0 is in gtk-win32-2.0-0 (note the -0 suffix) new bug normal
#9587 Type checking with type functions introduces many type variables, which remain ambiguous. The code no longer type checks. new bug normal
#9607 Programs that require AllowAmbiguousTypes in 7.8 new bug normal
#9667 Type inference is weaker for GADT than analogous Data Family new feature request normal
#9693 Reloading GHCi with Template Haskell names can panic GHC new bug normal
#9725 Constraint deduction failure new bug normal
#9730 Polymorphism and type classes new bug normal
#9784 Improve error message for misplaced quote inside promoted qualified type new feature request normal
#9898 Wanted: higher-order type-level programming new feature request normal
#9987 GHC refuses to compile a file that starts with a Byte Order Mark (BOM) new feature request low
#10009 type inference regression when faking injective type families new bug high 7.10.1
#10056 Inconsistent precedence of ~ new bug normal
#10094 Template Haskell cannot represent type wildcards new feature request normal
#10114 Kind mismatches with AnyK in rank-2 types new bug normal
#860 CPP fails when a macro is used on a line containing a single quote character new feature request lowest
#1978 Error message: Undefined reference to `XXX_closure' new bug normal
#3766 Parsing of lambdas is not consistent with Haskell'98 report. new bug low 7.12.1
#4836 literate markdown not handled correctly by unlit new bug low 7.12.1
#5296 Add explicit type applications new feature request low 7.12.1
#5316 Orphan instances strike again: ghc rejects a program at first but will accept it if you repeat the same compilation command new bug low
#6034 Parse error when using ' with promoted kinds new bug low
#6065 Suggested type signature causes a type error (even though it appears correct) new bug normal
#6132 Can't use both shebang line and #ifdef declarations in the same file. new bug normal 7.12.1
#7026 Impredicative implicit parameters new bug normal
#7395 DefaultSignatures conflict with default implementations new feature request normal 7.12.1
#7672 boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module new bug normal 7.12.1
#7828 RebindableSyntax and Arrow new bug normal 7.12.1
#7842 Incorrect checking of let-bindings in recursive do new bug normal
#7862 Could not deduce (A) from the context (A, ...) new bug normal
#8128 Standalone deriving fails for GADTs due to inaccessible code new bug normal
#8161 Associated type parameters that are more specific than the instance header new feature request low
#8168 ghc "Simplifier ticks exhausted" "When trying UnfoldingDone" new bug high
#8248 GHCi should not fail to honour ghci.conf or .ghci if group writable new bug normal
#8318 GHC does not infer type of `tagToEnum#` expression new bug normal
#8346 Rank 1 type signature still requires RankNTypes new bug normal
#8387 View patterns + pattern bindings: finnicky about scoping new bug normal
#8555 Simplify given `Coercible` constraints new feature request normal
Note: See TracQuery for help on using queries.