qualified-in-list 2.28 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113
-----
instance 'T'.toTypeContext ['syntax'.TypeContext]
where
	toTypeContext context
		= ['T'.Instance gds.glob_object.ds_ident.id_name (map 'T'.toType tc_types)
		     \\ {tc_class=(TCClass gds),tc_types} <- context] ++
		  ['T'.Derivation gtc_generic.glob_object.ds_ident.id_name ('T'.toType t)
		     \\ {tc_class=(TCGeneric {gtc_generic}),tc_types=[t]} <- context]
-----
keyword	instance
whitespace	 
punctuation	'
qualified	T
punctuation	'.
classname	toTypeContext
whitespace	 
punctuation	['
qualified	syntax
punctuation	'.
type	TypeContext
punctuation	]
whitespace	\n
keyword	where
whitespace	\n	
funcname	toTypeContext
whitespace	 
argument	context
whitespace	\n		
punctuation	=
whitespace	 
punctuation	['
qualified	T
punctuation	'.
constructor	Instance
whitespace	 
funcname funcname-onlyused	gds
punctuation	.
funcname funcname-onlyused	glob_object
punctuation	.
funcname funcname-onlyused	ds_ident
punctuation	.
funcname funcname-onlyused	id_name
whitespace	 
punctuation	(
funcname funcname-onlyused	map
whitespace	 
punctuation	'
qualified	T
punctuation	'.
funcname funcname-onlyused	toType
whitespace	 
funcname funcname-onlyused	tc_types
punctuation	)
whitespace	\n		     
punctuation	\\
whitespace	 
punctuation	{
funcname funcname-onlyused	tc_class
punctuation	=(
constructor	TCClass
whitespace	 
funcname funcname-onlyused	gds
punctuation	),
funcname funcname-onlyused	tc_types
punctuation	}
whitespace	 
punctuation	<-
whitespace	 
argumentinrhs	context
punctuation	]
whitespace	 
punctuation	++
whitespace	\n		  
punctuation	['
qualified	T
punctuation	'.
constructor	Derivation
whitespace	 
funcname funcname-onlyused	gtc_generic
punctuation	.
funcname funcname-onlyused	glob_object
punctuation	.
funcname funcname-onlyused	ds_ident
punctuation	.
funcname funcname-onlyused	id_name
whitespace	 
punctuation	('
qualified	T
punctuation	'.
funcname funcname-onlyused	toType
whitespace	 
funcname funcname-onlyused	t
punctuation	)
whitespace	\n		     
punctuation	\\
whitespace	 
punctuation	{
funcname funcname-onlyused	tc_class
punctuation	=(
constructor	TCGeneric
whitespace	 
punctuation	{
funcname funcname-onlyused	gtc_generic
punctuation	}),
funcname funcname-onlyused	tc_types
punctuation	=[
funcname funcname-onlyused	t
punctuation	]}
whitespace	 
punctuation	<-
whitespace	 
argumentinrhs	context
punctuation	]