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.icl59403logplainblame
-rw-r--r--analunitypes.dcl581logplainblame
-rw-r--r--analunitypes.icl32408logplainblame
-rw-r--r--check.dcl1337logplainblame
-rw-r--r--check.icl221518logplainblame
-rw-r--r--checkFunctionBodies.dcl739logplainblame
-rw-r--r--checkFunctionBodies.icl164163logplainblame
-rw-r--r--checkKindCorrectness.dcl311logplainblame
-rw-r--r--checkKindCorrectness.icl14556logplainblame
-rw-r--r--checksupport.dcl6733logplainblame
-rw-r--r--checksupport.icl27246logplainblame
-rw-r--r--checktypes.dcl2177logplainblame
-rw-r--r--checktypes.icl90458logplainblame
-rw-r--r--compare_constructor.dcl142logplainblame
-rw-r--r--compare_constructor.icl480logplainblame
-rw-r--r--comparedefimp.dcl538logplainblame
-rw-r--r--comparedefimp.icl57694logplainblame
-rw-r--r--compilerSwitches.dcl626logplainblame
-rw-r--r--compilerSwitches.icl630logplainblame
-rw-r--r--containers.dcl2705logplainblame
-rw-r--r--containers.icl15510logplainblame
-rw-r--r--convertDynamics.dcl932logplainblame
-rw-r--r--convertDynamics.icl61406logplainblame
-rw-r--r--convertcases.dcl1078logplainblame
-rw-r--r--convertcases.icl71511logplainblame
-rw-r--r--convertimportedtypes.dcl1675logplainblame
-rw-r--r--convertimportedtypes.icl8875logplainblame
-rw-r--r--explicitimports.dcl1154logplainblame
-rw-r--r--explicitimports.icl42954logplainblame
-rw-r--r--frontend.dcl1359logplainblame
-rw-r--r--frontend.icl21263logplainblame
-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.icl148069logplainblame
-rw-r--r--genericsupport.dcl1207logplainblame
-rw-r--r--genericsupport.icl3622logplainblame
-rw-r--r--hashtable.dcl795logplainblame
-rw-r--r--hashtable.icl9006logplainblame
-rw-r--r--main.icl15366logplainblame
-rw-r--r--mergecases.dcl288logplainblame
-rw-r--r--mergecases.icl24802logplainblame
-rw-r--r--overloading.dcl2226logplainblame
-rw-r--r--overloading.icl109187logplainblame
-rw-r--r--parse.dcl350logplainblame
-rw-r--r--parse.icl175564logplainblame
-rw-r--r--portToNewSyntax.dcl399logplainblame
-rw-r--r--portToNewSyntax.icl770logplainblame
-rw-r--r--postparse.dcl316logplainblame
-rw-r--r--postparse.icl78400logplainblame
-rw-r--r--predef.dcl5265logplainblame
-rw-r--r--predef.icl30491logplainblame
-rw-r--r--refmark.dcl306logplainblame
-rw-r--r--refmark.icl42885logplainblame
-rw-r--r--scanner.dcl4536logplainblame
-rw-r--r--scanner.icl62105logplainblame
-rw-r--r--syntax.dcl43558logplainblame
-rw-r--r--syntax.icl75044logplainblame
-rw-r--r--trans.dcl1247logplainblame
-rw-r--r--trans.icl174905logplainblame
-rw-r--r--transform.dcl2062logplainblame
-rw-r--r--transform.icl114210logplainblame
-rw-r--r--type.dcl1168logplainblame
-rw-r--r--type.icl159069logplainblame
-rw-r--r--type_io.dcl1170logplainblame
-rw-r--r--type_io.icl15411logplainblame
-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.dcl1549logplainblame
-rw-r--r--typeproperties.icl4457logplainblame
-rw-r--r--typesupport.dcl6605logplainblame
-rw-r--r--typesupport.icl88501logplainblame
-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.dcl4893logplainblame
-rw-r--r--utilities.icl10824logplainblame