aboutsummaryrefslogtreecommitdiff
path: root/frontend
ModeNameSize
-rw-r--r--Heap.dcl635logplainblame
-rw-r--r--Heap.icl3073logplainblame
-rw-r--r--StdCompare.dcl597logplainblame
-rw-r--r--StdCompare.icl8523logplainblame
-rw-r--r--_aconcat.dcl1576logplainblame
-rw-r--r--_aconcat.icl1580logplainblame
-rw-r--r--analtypes.dcl999logplainblame
-rw-r--r--analtypes.icl59070logplainblame
-rw-r--r--analunitypes.dcl581logplainblame
-rw-r--r--analunitypes.icl32161logplainblame
-rw-r--r--cheat.dcl69logplainblame
-rw-r--r--check.dcl1337logplainblame
-rw-r--r--check.icl220839logplainblame
-rw-r--r--checkFunctionBodies.dcl739logplainblame
-rw-r--r--checkFunctionBodies.icl162768logplainblame
-rw-r--r--checkKindCorrectness.dcl311logplainblame
-rw-r--r--checkKindCorrectness.icl14556logplainblame
-rw-r--r--checksupport.dcl6733logplainblame
-rw-r--r--checksupport.icl27247logplainblame
-rw-r--r--checktypes.dcl2177logplainblame
-rw-r--r--checktypes.icl89748logplainblame
-rw-r--r--compare_constructor.dcl142logplainblame
-rw-r--r--compare_constructor.icl480logplainblame
-rw-r--r--comparedefimp.dcl538logplainblame
-rw-r--r--comparedefimp.icl57275logplainblame
-rw-r--r--compilerSwitches.dcl626logplainblame
-rw-r--r--compilerSwitches.icl630logplainblame
-rw-r--r--containers.dcl2705logplainblame
-rw-r--r--containers.icl15510logplainblame
-rw-r--r--convertDynamics.dcl934logplainblame
-rw-r--r--convertDynamics.icl60937logplainblame
-rw-r--r--convertcases.dcl1078logplainblame
-rw-r--r--convertcases.icl71511logplainblame
-rw-r--r--convertimportedtypes.dcl1675logplainblame
-rw-r--r--convertimportedtypes.icl8985logplainblame
-rw-r--r--explicitimports.dcl1154logplainblame
-rw-r--r--explicitimports.icl42954logplainblame
-rw-r--r--frontend.dcl1359logplainblame
-rw-r--r--frontend.icl21267logplainblame
-rw-r--r--general.dcl1043logplainblame
-rw-r--r--general.icl2555logplainblame
-rw-r--r--generics.dcl568logplainblame
-rw-r--r--generics.icl181186logplainblame
-rw-r--r--generics1.dcl506logplainblame
-rw-r--r--generics1.icl148080logplainblame
-rw-r--r--genericsupport.dcl1214logplainblame
-rw-r--r--genericsupport.icl3629logplainblame
-rw-r--r--hashtable.dcl796logplainblame
-rw-r--r--hashtable.icl9007logplainblame
-rw-r--r--main.icl15366logplainblame
-rw-r--r--mergecases.dcl288logplainblame
-rw-r--r--mergecases.icl24802logplainblame
-rw-r--r--overloading.dcl2226logplainblame
-rw-r--r--overloading.icl109191logplainblame
-rw-r--r--parse.dcl350logplainblame
-rw-r--r--parse.icl175570logplainblame
-rw-r--r--portToNewSyntax.dcl399logplainblame
-rw-r--r--portToNewSyntax.icl770logplainblame
-rw-r--r--postparse.dcl316logplainblame
-rw-r--r--postparse.icl77919logplainblame
-rw-r--r--predef.dcl5265logplainblame
-rw-r--r--predef.icl30491logplainblame
-rw-r--r--refmark.dcl306logplainblame
-rw-r--r--refmark.icl42885logplainblame
-rw-r--r--scanner.dcl4538logplainblame
-rw-r--r--scanner.icl62111logplainblame
-rw-r--r--syntax.dcl43356logplainblame
-rw-r--r--syntax.icl74603logplainblame
-rw-r--r--trans.dcl1247logplainblame
-rw-r--r--trans.icl173026logplainblame
-rw-r--r--transform.dcl2062logplainblame
-rw-r--r--transform.icl112924logplainblame
-rw-r--r--type.dcl1168logplainblame
-rw-r--r--type.icl157293logplainblame
-rw-r--r--type_io.dcl1171logplainblame
-rw-r--r--type_io.icl15056logplainblame
-rw-r--r--type_io_common.dcl2476logplainblame
-rw-r--r--type_io_common.icl3457logplainblame
-rw-r--r--typeanal.dcl27logplainblame
-rw-r--r--typeanal.icl30logplainblame
-rw-r--r--typeproperties.dcl1551logplainblame
-rw-r--r--typeproperties.icl4460logplainblame
-rw-r--r--typesupport.dcl6605logplainblame
-rw-r--r--typesupport.icl88505logplainblame
-rw-r--r--unitype.dcl2275logplainblame
-rw-r--r--unitype.icl50949logplainblame
-rw-r--r--unsafe_heap.dcl632logplainblame
-rw-r--r--unsafe_heap.icl1892logplainblame
-rw-r--r--utilities.dcl4894logplainblame
-rw-r--r--utilities.icl10825logplainblame