Repository : ssh://[email protected]/ghc On branch : type-nats-simple Link : http://ghc.haskell.org/trac/ghc/changeset/0b778fe1e07bcfe9b27a2c9d7b706be9976556de/ghc
>--------------------------------------------------------------- commit 0b778fe1e07bcfe9b27a2c9d7b706be9976556de Author: Iavor S. Diatchki <[email protected]> Date: Wed Sep 4 09:22:11 2013 -0700 Checkpoint: generalize to support arbitrary built-in constructors. This is done by adding a new TyConRHS (cf TyCon). The operations for type-checking a built-in tycon are in FamInst. This is a checkpoint because the current build does not seem to work on my machine: for some reason things like (+) are considered to be Open. The reason could be that I need to rebuild more things or, perhaps the type nat tycons need to be introduced in a different way. Currently, they are just declared as ordinary type families. >--------------------------------------------------------------- 0b778fe1e07bcfe9b27a2c9d7b706be9976556de compiler/iface/MkIface.lhs | 3 +++ compiler/main/PprTyThing.hs | 3 +++ compiler/typecheck/FamInst.lhs | 28 +++++++++++++++++++++- compiler/typecheck/FamInst.lhs-boot | 5 ++++ compiler/typecheck/TcInteract.lhs | 20 +++++++++------- compiler/typecheck/TcSMonad.lhs | 2 ++ compiler/typecheck/TcTyClsDecls.lhs | 1 + compiler/typecheck/TcTypeNats.hs | 44 ++++++++++++++++++----------------- compiler/types/TyCon.lhs | 12 ++++++++++ 9 files changed, 87 insertions(+), 31 deletions(-) Diff suppressed because of size. To see it, use: git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 0b778fe1e07bcfe9b27a2c9d7b706be9976556de _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
