[ ghc-Bugs-1178851 ] double-panic with GADTs

Bugs item #1178851, was opened at 2005-04-07 20:39 Message generated for change (Settings changed) made by simonpj You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1178851&group_id=8032 Please note that this message will contain a full copy of the comment

[ ghc-Bugs-1178851 ] double-panic with GADTs

Bugs item #1178851, was opened at 2005-04-07 13:39 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1178851&group_id=8032 Category: Compiler (Type checker) Group: 6.4 Status: Open Resolution: None

[ ghc-Bugs-1178851 ] double-panic with GADTs

Bugs item #1178851, was opened at 2005-04-07 13:39 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1178851&group_id=8032 Category: Compiler (Type checker) Group: 6.4 Status: Open Resolution: None

[ ghc-Bugs-1178851 ] double-panic with GADTs

Bugs item #1178851, was opened at 2005-04-07 13:39 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1178851&group_id=8032 Category: Compiler (Type checker) Group: 6.4 Status: Open Resolution: None

[ ghc-Bugs-1178851 ] double-panic with GADTs

Bugs item #1178851, was opened at 2005-04-07 13:39 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1178851&group_id=8032 Category: Compiler (Type checker) Group: 6.4 Status: Open