compiler/codeGen/ClosureInfo.lhs · ghc-spj · PHO / GHC

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

13 years ago

Add support for type-level "strings". · 5851f847

These are types that look like "this" and "that".
They are of kind `Symbol`, defined in module `GHC.TypeLits`.

For each type-level symbol `X`, we have a singleton type, `TSymbol X`.

The value of the singleton type can be named with the overloaded
constant `tSymbol`.  Here is an example:

tSymbol :: TSymbol "Hello"

5851f847

History

Add support for type-level "strings".

Iavor S. Diatchki authored 13 years ago

These are types that look like "this" and "that".
They are of kind `Symbol`, defined in module `GHC.TypeLits`.

For each type-level symbol `X`, we have a singleton type, `TSymbol X`.

The value of the singleton type can be named with the overloaded
constant `tSymbol`.  Here is an example:

tSymbol :: TSymbol "Hello"

Code owners

Assign users and groups as approvers for specific file changes. Learn more.