delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add cmpNat, cmpSymbol, and cmpChar	Daniel Winograd-Cort	2021-03-03	1	-5/+2
\| \| \| \| \| \| \|	Add Data.Type.Ord Add and update tests Metric Increase: MultiLayerModules
*	Do not imply NoStarIsType by TypeOperators/TypeInType	Vladislav Zavialov	2018-07-16	1	-8/+8
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Implementation of the "Embrace TypeInType" proposal was done according to the spec, which specified that TypeOperators must imply NoStarIsType. This implication was meant to prevent breakage and to be removed in 2 releases. However, compiling head.hackage has shown that this implication only magnified the breakage, so there is no reason to have it in the first place. To remain in compliance with the three-release policy, we add a workaround to define the (*) type operator even when -XStarIsType is on. Test Plan: ./validate Reviewers: bgamari, RyanGlScott, goldfire, phadej, hvr Reviewed By: bgamari, RyanGlScott Subscribers: harpocrates, rwbarton, thomie, carter Differential Revision: https://phabricator.haskell.org/D4865
*	Implement Div, Mod, and Log for type-level nats.	Iavor Diatchki	2017-10-03	1	-0/+15
\| \| \| \| \| \| \| \| \| \|	Reviewers: austin, hvr, bgamari Reviewed By: bgamari Subscribers: RyanGlScott, dfeuer, adamgundry, rwbarton, thomie Differential Revision: https://phabricator.haskell.org/D4002
*	Testsuite error message changes	Simon Peyton Jones	2014-11-04	1	-9/+2
\|
*	Fixup basic type-lits test.	Iavor S. Diatchki	2013-10-03	1	-27/+28
\| \| \| \| \| \| \| \| \|	There is still one more test that needs fixing: indexed-types/should_fail T7786 [stderr mismatch] (normal) I need to understand what is going on there, as it appears to be using the `Sing` constructors a bunch.
*	Add some tests for type-level subtraction.	Iavor S. Diatchki	2013-09-24	1	-0/+12
\|
*	Add some tests for evaluating type-level naturals.	Iavor S. Diatchki	2013-09-12	1	-0/+81