Typed Query implemented
c40f21488ca2
Actions

Authored by pgess on Jun 20 2018, 7:41 PM.

Description

Typed Query implemented

Transcend: dereferenceSlaveType to process slave types
Compilation: IntrinsicQueryInstruction class added to interpret query

Tests: Association.TypedQuery_1, Types.SlaveTypes_UnwrapSlaveType1

Committed

pgess

Jun 20 2018, 7:41 PM

Parents

rXR2b02e209347d: Late Reasoning basic implementation

Branches

Unknown

Tags

Unknown

				Path
	M			config/default.json
	M			cpp/src/CMakeLists.txt
	M			cpp/src/analysis/typeinference.cpp
	M			cpp/src/analysis/typeinference.h
	A			cpp/src/compilation/interpretation-instructions.cpp
	A			cpp/src/compilation/interpretation-instructions.h
	M			cpp/src/compilation/latereasoning.cpp
	M			cpp/src/compilation/targetinterpretation.cpp
	M			cpp/src/compilation/targetinterpretation.h
	M			cpp/src/compilation/targets.h
	M			cpp/tests/association.cpp
	M			cpp/tests/types.cpp
	M			git-commit-template