htcc-0.0.0.1: The full scratch implementation of tiny C compiler (x86_64)

Copyright	(c) roki 2019
License	MIT
Maintainer	falgon53@yahoo.co.jp
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Htcc.Parser.AST.DeduceKind

Description

Data types and type synonyms used during AST construction

Synopsis

addKind :: (Eq i, Ord i, Show i) => ATree i -> ATree i -> Maybe (ATree i)
subKind :: (Eq i, Ord i) => ATree i -> ATree i -> Maybe (ATree i)

Documentation

addKind :: (Eq i, Ord i, Show i) => ATree i -> ATree i -> Maybe (ATree i) Source #

Constructs a numeric addition or pointer addition node according to the C language implicit conversion rules

subKind :: (Eq i, Ord i) => ATree i -> ATree i -> Maybe (ATree i) Source #

Constructs a number subtraction or pointer subtraction node according to the C language implicit conversion rules