implementation module StdDynamicTypes

import StdMaybe
import DefaultElem
//1.3
import StdString
//3.1

:: DummyModuleID	= DummyModuleID
	
// Type 
:: LibraryInstanceTypeReference 
	= LIT_TypeReference !LibRef !TIO_TypeReference		// fst Int is index in cs_library_instances
	
:: LibRef
	= LibRef !Int										// library instance in main dynamic
	| LibRefViaLazyDynamic !Int !Int !Int				// library_instance (w.r.t) dynamic_index type table index type_table_i (follows from previous fields)

::  TIO_TypeReference
	= {
		tio_type_without_definition  :: !Maybe !String
	,   tio_tr_module_n    			 :: !Int
	,   tio_tr_type_def_n  			 :: !Int
	}
	
instance DefaultElem TIO_TypeReference
where
	default_elem 
		= {	
			tio_type_without_definition  = Nothing
		,   tio_tr_module_n    			 = 0
		,   tio_tr_type_def_n  			 = 0
		}
	
instance DefaultElem LibRef
where
	default_elem
		= LibRef (-1)
		
instance DefaultElem LibraryInstanceTypeReference
where
	default_elem
		= LIT_TypeReference default_elem default_elem