yav (Iavor S. Diatchki)
User

Projects

User Details

User Since
Jun 16 2014, 4:35 PM (252 w, 3 d)

Recent Activity

Jul 25 2018

yav committed rGHCDIFF3ea4d5a64bc9: Clean-up implementation of GHC.TypeLits. (authored by yav).
Clean-up implementation of GHC.TypeLits.
Jul 25 2018, 11:14 AM
yav committed rGHCDIFFadd3bae60662: Add fixity declaration for type-level functions. (authored by yav).
Add fixity declaration for type-level functions.
Jul 25 2018, 11:14 AM
yav committed rGHCDIFF40e7236d81a1: Rename someSymVal to someSymbolVal (authored by yav).
Rename someSymVal to someSymbolVal
Jul 25 2018, 11:14 AM
yav committed rGHCDIFFccd6d5847510: Remove all but the basic operations on type-level literals. (authored by yav).
Remove all but the basic operations on type-level literals.
Jul 25 2018, 11:14 AM
yav committed rGHCDIFF35d55a62fb06: Add type functions (-) and ToNat1; Turn FromNat1 into a closed family. (authored by yav).
Add type functions (-) and ToNat1; Turn FromNat1 into a closed family.
Jul 25 2018, 11:13 AM
yav committed rGHCDIFF229513bc593d: Redo <= with a type synonym instead of a class, add instance for boolean… (authored by yav).
Redo <= with a type synonym instead of a class, add instance for boolean…
Jul 25 2018, 11:13 AM
yav committed rGHCDIFFdac845cb7bdf: Redo and cleanup the change replacing `unsafe*` with `toSing` (authored by yav).
Redo and cleanup the change replacing `unsafe*` with `toSing`
Jul 25 2018, 11:11 AM
yav committed rGHCDIFF822ce01e65c2: Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base (authored by yav).
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
Jul 25 2018, 11:11 AM
yav committed rGHCDIFF083a45e8f506: Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base (authored by yav).
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
Jul 25 2018, 11:11 AM
yav committed rGHCDIFF02b9a24ad1fb: Add code to convert from representation types, to existentially quantified… (authored by yav).
Add code to convert from representation types, to existentially quantified…
Jul 25 2018, 11:11 AM
yav committed rGHCDIFF875beafae400: Add functions that compare singletons for equality (with evidence) (authored by yav).
Add functions that compare singletons for equality (with evidence)
Jul 25 2018, 11:06 AM
yav committed rGHCDIFF14bad9a4449b: Declare a family for subtraction. (authored by yav).
Declare a family for subtraction.
Jul 25 2018, 11:06 AM
yav committed rGHCDIFF1851a2f37b2c: Update library to avoid using `Any` (also, replace fun-dep with type fam.) (authored by yav).
Update library to avoid using `Any` (also, replace fun-dep with type fam.)
Jul 25 2018, 11:06 AM
yav committed rGHCDIFFe801dcc66fa9: Merge remote-tracking branch 'origin/master' (authored by yav).
Merge remote-tracking branch 'origin/master'
Jul 25 2018, 11:05 AM
yav committed rGHCDIFF02998bd6bbaa: Add unary natural numbers to experiment on matching with literals. (authored by yav).
Add unary natural numbers to experiment on matching with literals.
Jul 25 2018, 11:05 AM
yav committed rGHCDIFFea9570d083d4: Add missing instances for (<=) (authored by yav).
Add missing instances for (<=)
Jul 25 2018, 11:05 AM
yav committed rGHCDIFFa75c1bead6ba: Modify 'SingRep' to support arbitrary singleton types. (authored by yav).
Modify 'SingRep' to support arbitrary singleton types.
Jul 25 2018, 11:04 AM
yav committed rGHCDIFFe88cf2566961: Update to support singleton types with custom implementations. (authored by yav).
Update to support singleton types with custom implementations.
Jul 25 2018, 11:04 AM
yav committed rGHCDIFF9c11265dc128: Add a type-family for comparing numbers. (authored by yav).
Add a type-family for comparing numbers.
Jul 25 2018, 11:04 AM
yav committed rGHCDIFF0f1f0d98e56b: Rewrite to use just one notion of singletons. (authored by yav).
Rewrite to use just one notion of singletons.
Jul 25 2018, 11:03 AM
yav committed rGHCDIFF86330a32268f: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 11:03 AM
yav committed rGHCDIFFcf67512b74b3: Revert IsEven to the way it was. (authored by yav).
Revert IsEven to the way it was.
Jul 25 2018, 11:03 AM
yav committed rGHCDIFF3b8f09283529: Fix the type of IsEven (authored by yav).
Fix the type of IsEven
Jul 25 2018, 11:03 AM
yav committed rGHCDIFFa218b90b4d49: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 11:03 AM
yav committed rGHCDIFFa732476932b8: Add some useful functions for working with type literals. (authored by yav).
Add some useful functions for working with type literals.
Jul 25 2018, 11:03 AM
yav committed rGHCDIFFeec29e91d294: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 11:03 AM
yav committed rGHCDIFF588c08d7e2f8: Merge branch 'master' into type-nats (authored by yav).
Merge branch 'master' into type-nats
Jul 25 2018, 11:03 AM
yav committed rGHCDIFF30c0c0226664: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 11:02 AM
yav committed rGHCDIFFf948f8311ac0: Change extension name to match current GHC head. (authored by yav).
Change extension name to match current GHC head.
Jul 25 2018, 11:02 AM
yav committed rGHCDIFFe184fccb7586: Rename GHC.TypeNats to GHC.TypeList, cleanup, add type-level strings. (authored by yav).
Rename GHC.TypeNats to GHC.TypeList, cleanup, add type-level strings.
Jul 25 2018, 11:02 AM
yav committed rGHCDIFF03246bfacbce: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 11:02 AM
yav committed rGHCDIFF5572345f5f3d: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 11:02 AM
yav committed rGHCDIFF3b281a2bc9f2: Change the representation of singletons from Integer to Word. (authored by yav).
Change the representation of singletons from Integer to Word.
Jul 25 2018, 11:02 AM
yav committed rGHCDIFF9697def640dc: Remove all but the basics from the GHC module. (authored by yav).
Remove all but the basics from the GHC module.
Jul 25 2018, 11:02 AM
yav committed rGHCDIFFd5ead9269844: Export "readEither" and add "readMaybe". (authored by yav).
Export "readEither" and add "readMaybe".
Jul 25 2018, 11:02 AM
yav committed rGHCDIFF914da193e116: Merge branch 'master' into type-nats (authored by yav).
Merge branch 'master' into type-nats
Jul 25 2018, 11:02 AM
yav committed rGHCDIFF6d1d9bd44215: Merge branch 'master' into type-nats (authored by yav).
Merge branch 'master' into type-nats
Jul 25 2018, 10:59 AM
yav committed rGHCDIFFfd5e2bb69a08: Support for TypeNats (authored by yav).
Support for TypeNats
Jul 25 2018, 10:59 AM
yav committed rGHCDIFF5e4bdb5fc5e7: Implement ordering comparisons for type-level naturals and symbols. (authored by yav).
Implement ordering comparisons for type-level naturals and symbols.
Jul 25 2018, 10:15 AM
yav committed rGHCDIFF3099e40d2737: Add some documentation about type-level literals. (authored by yav).
Add some documentation about type-level literals.
Jul 25 2018, 10:15 AM
yav committed rGHCDIFF4462992588c4: Fix a failing test. (authored by yav).
Fix a failing test.
Jul 25 2018, 10:02 AM
yav committed rGHCDIFFcd504d85a3c8: Fixup basic type-lits test. (authored by yav).
Fixup basic type-lits test.
Jul 25 2018, 10:02 AM
yav committed rGHCDIFF3eb5cfd05442: Add some tests for type-level subtraction. (authored by yav).
Add some tests for type-level subtraction.
Jul 25 2018, 10:02 AM
yav committed rGHCDIFF04a24282d8e0: Add some tests for evaluating type-level naturals. (authored by yav).
Add some tests for evaluating type-level naturals.
Jul 25 2018, 10:01 AM
yav committed rGHCDIFFf5a5229e31e5: Add a missing FD on `Add`, otherwise the test is (correctly) rejected. (authored by yav).
Add a missing FD on `Add`, otherwise the test is (correctly) rejected.
Jul 25 2018, 9:53 AM
yav committed rGHCDIFF1495dc148313: Correct the inferred type (in comment) (authored by yav).
Correct the inferred type (in comment)
Jul 25 2018, 9:46 AM
yav committed rGHCDIFF429183f24c73: Update test to reflect printing of imported/exported type operators. (authored by yav).
Update test to reflect printing of imported/exported type operators.
Jul 25 2018, 9:42 AM
yav committed rGHCDIFF9246be3de475: Update test to reflect the improved printing of data declarations. (authored by yav).
Update test to reflect the improved printing of data declarations.
Jul 25 2018, 9:42 AM
yav committed rGHCDIFF4de8de2aa47f: Add new extension to the list pf GHC-only extensions. (authored by yav).
Add new extension to the list pf GHC-only extensions.
Jul 25 2018, 9:42 AM
yav committed rGHCDIFFf6358462ac8c: Merge remote-tracking branch 'origin/type-nats' (authored by yav).
Merge remote-tracking branch 'origin/type-nats'
Jul 25 2018, 9:42 AM
yav committed rGHCDIFFb473b2512a87: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 9:42 AM
yav committed rGHCDIFF210cd924fca8: The example n this test is now valid, when TypeOperators are enabled. (authored by yav).
The example n this test is now valid, when TypeOperators are enabled.
Jul 25 2018, 9:42 AM
yav committed rGHCDIFF43034fc4f4e9: Update error message for malformed sub-ordinates. (authored by yav).
Update error message for malformed sub-ordinates.
Jul 25 2018, 9:42 AM
yav committed rGHCDIFFcf1ed00e2f6b: Update error message: now 1 is a potentially valid type. (authored by yav).
Update error message: now 1 is a potentially valid type.
Jul 25 2018, 9:42 AM
yav committed rGHCDIFF9410a8da1933: Fixes to reflect changes in behavior of -XTypeOperators. (authored by yav).
Fixes to reflect changes in behavior of -XTypeOperators.
Jul 25 2018, 9:41 AM
yav committed rGHCDIFF19b8809c477f: Change the representation and move TcBuiltInSynFamily. (authored by yav).
Change the representation and move TcBuiltInSynFamily.
Jul 25 2018, 8:22 AM
yav committed rGHCDIFFb2fa2d410328: Make type-level evaluation work with :kind! (authored by yav).
Make type-level evaluation work with :kind!
Jul 25 2018, 8:22 AM
yav committed rGHCDIFFcb0fd91a5701: Improve documentation (Related to #8447) (authored by yav).
Improve documentation (Related to #8447)
Jul 25 2018, 8:18 AM
yav committed rGHCDIFF6b2ccadc2575: Weaken the improvement for subtraction. (authored by yav).
Weaken the improvement for subtraction.
Jul 25 2018, 8:18 AM
yav committed rGHCDIFFc3762fa4d015: Update and clean-up the implmenation of GHC.TypeLits (authored by yav).
Update and clean-up the implmenation of GHC.TypeLits
Jul 25 2018, 8:17 AM
yav committed rGHCDIFF5cf366975f69: Add a type-function for subtraction. (authored by yav).
Add a type-function for subtraction.
Jul 25 2018, 8:14 AM
yav committed rGHCDIFF1f77a5341cbd: Add support for evaluation of type-level natural numbers. (authored by yav).
Add support for evaluation of type-level natural numbers.
Jul 25 2018, 8:12 AM
yav committed rGHCDIFFda345e4c2cc3: Use the symmetric version of the newtype coercion. (authored by yav).
Use the symmetric version of the newtype coercion.
Jul 25 2018, 8:02 AM
yav committed rGHCDIFFac330cb607cd: Add a primitive for coercing values into dictionaries in a special case. (authored by yav).
Add a primitive for coercing values into dictionaries in a special case.
Jul 25 2018, 8:02 AM
yav committed rGHCDIFFbc00d9016568: Look through type synonyms when deciding if something is a type literal. (authored by yav).
Look through type synonyms when deciding if something is a type literal.
Jul 25 2018, 7:56 AM
yav committed rGHCDIFFdef97b82b3c5: Fix up comment: I was just wrong previously, the original GHC comment on… (authored by yav).
Fix up comment: I was just wrong previously, the original GHC comment on…
Jul 25 2018, 7:50 AM
yav committed rGHCDIFF12f3a53edf3d: Fixup comment: typos + I had the generalization rule backwards. (authored by yav).
Fixup comment: typos + I had the generalization rule backwards.
Jul 25 2018, 7:50 AM
yav committed rGHCDIFFfe61599ffebb: Use a version of the coverage condition even with UndecidableInstances. (authored by yav).
Use a version of the coverage condition even with UndecidableInstances.
Jul 25 2018, 7:50 AM
yav committed rGHCDIFF45279919b418: Fix dictionaries for SingI. (authored by yav).
Fix dictionaries for SingI.
Jul 25 2018, 7:49 AM
yav committed rGHCDIFF909d52e20405: Document the behavior of "info!". (authored by yav).
Document the behavior of "info!".
Jul 25 2018, 7:48 AM
yav committed rGHCDIFF495ef783a687: Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc (authored by yav).
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
Jul 25 2018, 7:47 AM
yav committed rGHCDIFF2ec32a8e1cb3: Add ":info!" to GHCi. This shows all instances without filtering first. (authored by yav).
Add ":info!" to GHCi. This shows all instances without filtering first.
Jul 25 2018, 7:47 AM
yav committed rGHCDIFF121768dec30f: Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc (authored by yav).
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
Jul 25 2018, 7:45 AM
yav committed rGHCDIFFdf04d2d875f4: Allow '-' to be used as an infix type constructor. (authored by yav).
Allow '-' to be used as an infix type constructor.
Jul 25 2018, 7:45 AM
yav committed rGHCDIFF7befd215db82: Merge remote-tracking branch 'origin/master' into pretty-build (authored by yav).
Merge remote-tracking branch 'origin/master' into pretty-build
Jul 25 2018, 7:27 AM
yav committed rGHCDIFFd209588a4092: A build-system tweak for more readable build output. (authored by yav).
A build-system tweak for more readable build output.
Jul 25 2018, 7:27 AM
yav committed rGHCDIFF1bfb97985881: Update names to match the implementation in GHC.TypeLits. (authored by yav).
Update names to match the implementation in GHC.TypeLits.
Jul 25 2018, 7:22 AM
yav committed rGHCDIFF05710922ae4c: Add a section about promoted literals to the manual. (authored by yav).
Add a section about promoted literals to the manual.
Jul 25 2018, 7:22 AM
yav committed rGHCDIFFd402d8a61ee7: Add an entry for -XExplicitNamespaces to the manual. (authored by yav).
Add an entry for -XExplicitNamespaces to the manual.
Jul 25 2018, 7:22 AM
yav committed rGHCDIFF853c1c3e97dd: Add some missing equations for type-literals. (authored by yav).
Add some missing equations for type-literals.
Jul 25 2018, 7:22 AM
yav committed rGHCDIFFbcb599506764: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF81b2b11864bf: Add -XExplicitNamespaces to enable using 'type' in import/exports. (authored by yav).
Add -XExplicitNamespaces to enable using 'type' in import/exports.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF8bb2730c3df5: Fix printing of type operators in declarations. (authored by yav).
Fix printing of type operators in declarations.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFFd3b43108979a: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 7:21 AM
yav committed rGHCDIFFdeed56f4473d: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF00448643b9ac: Fix pretty-printing of type operators in imports/exports. (authored by yav).
Fix pretty-printing of type operators in imports/exports.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF62b25ec4d465: Add type-literals in the ordering hierarchy. (authored by yav).
Add type-literals in the ordering hierarchy.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF29e3d7b1cb7b: Only parse type literals when using `DataKinds`. (authored by yav).
Only parse type literals when using `DataKinds`.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF5e10022dee2d: Add an `Outputable` instance for `HsTyLit` (authored by yav).
Add an `Outputable` instance for `HsTyLit`
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF452e15a94c0d: Fix the printing of * (the kind). (authored by yav).
Fix the printing of * (the kind).
Jul 25 2018, 7:21 AM
yav committed rGHCDIFFc31d0f9c9fd4: Add TH support for type-level literals. (authored by yav).
Add TH support for type-level literals.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF1dd9b1ae1a59: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 7:21 AM
yav committed rGHCDIFFcfd89e12334e: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF9c1575228173: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF5851f84733f4: Add support for type-level "strings". (authored by yav).
Add support for type-level "strings".
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF85926ae6c63a: Change -XTypeOperators to treat all type-operators as type-constructors. (authored by yav).
Change -XTypeOperators to treat all type-operators as type-constructors.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFFf784eb758590: Merge remote-tracking branch 'origin/master' into type-nats (authored by yav).
Merge remote-tracking branch 'origin/master' into type-nats
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF7655c718d566: Go back to using an Integer as evidence, rather then just a Word. (authored by yav).
Go back to using an Integer as evidence, rather then just a Word.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFFcb843f693f1f: Monadify dsEvTerm in preparation for generating Integer & String evidence. (authored by yav).
Monadify dsEvTerm in preparation for generating Integer & String evidence.
Jul 25 2018, 7:21 AM
yav committed rGHCDIFF4715b87194db: Add the built-in instances for class NatI. (authored by yav).
Add the built-in instances for class NatI.
Jul 25 2018, 7:20 AM