aboutsummaryrefslogtreecommitdiff
path: root/frontend
ModeNameSize
-rw-r--r--Heap.dcl635logplainblame
-rw-r--r--Heap.icl3073logplainblame
-rw-r--r--StdCompare.dcl578logplainblame
-rw-r--r--StdCompare.icl7067logplainblame
-rw-r--r--_aconcat.dcl1576logplainblame
-rw-r--r--_aconcat.icl1580logplainblame
-rw-r--r--analtypes.dcl970logplainblame
-rw-r--r--analtypes.icl53558logplainblame
-rw-r--r--analunitypes.dcl581logplainblame
-rw-r--r--analunitypes.icl31503logplainblame
-rw-r--r--cheat.dcl69logplainblame
-rw-r--r--check.dcl1337logplainblame
-rw-r--r--check.icl190641logplainblame
-rw-r--r--checkFunctionBodies.dcl752logplainblame
-rw-r--r--checkFunctionBodies.icl161392logplainblame
-rw-r--r--checkKindCorrectness.dcl311logplainblame
-rw-r--r--checkKindCorrectness.icl14556logplainblame
-rw-r--r--checksupport.dcl6514logplainblame
-rw-r--r--checksupport.icl26990logplainblame
-rw-r--r--checktypes.dcl2026logplainblame
-rw-r--r--checktypes.icl86304logplainblame
-rw-r--r--compare_constructor.dcl142logplainblame
-rw-r--r--compare_constructor.icl480logplainblame
-rw-r--r--comparedefimp.dcl538logplainblame
-rw-r--r--comparedefimp.icl53255logplainblame
-rw-r--r--compilerSwitches.dcl594logplainblame
-rw-r--r--compilerSwitches.icl598logplainblame
-rw-r--r--containers.dcl1916logplainblame
-rw-r--r--containers.icl10853logplainblame
-rw-r--r--convertDynamics.dcl934logplainblame
-rw-r--r--convertDynamics.icl62211logplainblame
-rw-r--r--convertcases.dcl1078logplainblame
-rw-r--r--convertcases.icl68571logplainblame
-rw-r--r--convertimportedtypes.dcl1675logplainblame
-rw-r--r--convertimportedtypes.icl8690logplainblame
-rw-r--r--explicitimports.dcl1154logplainblame
-rw-r--r--explicitimports.icl42078logplainblame
-rw-r--r--frontend.dcl1361logplainblame
-rw-r--r--frontend.icl20660logplainblame
-rw-r--r--general.dcl777logplainblame
-rw-r--r--general.icl1727logplainblame
-rw-r--r--generics.dcl568logplainblame
-rw-r--r--generics.icl181355logplainblame
-rw-r--r--hashtable.dcl752logplainblame
-rw-r--r--hashtable.icl8892logplainblame
-rw-r--r--main.icl15287logplainblame
-rw-r--r--mergecases.dcl288logplainblame
-rw-r--r--mergecases.icl24833logplainblame
-rw-r--r--overloading.dcl2073logplainblame
-rw-r--r--overloading.icl99781logplainblame
-rw-r--r--parse.dcl350logplainblame
-rw-r--r--parse.icl153608logplainblame
-rw-r--r--portToNewSyntax.dcl399logplainblame
-rw-r--r--portToNewSyntax.icl770logplainblame
-rw-r--r--postparse.dcl316logplainblame
-rw-r--r--postparse.icl73776logplainblame
-rw-r--r--predef.dcl4372logplainblame
-rw-r--r--predef.icl27396logplainblame
-rw-r--r--refmark.dcl306logplainblame
-rw-r--r--refmark.icl36471logplainblame
-rw-r--r--scanner.dcl4462logplainblame
-rw-r--r--scanner.icl61726logplainblame
-rw-r--r--syntax.dcl41134logplainblame
-rw-r--r--syntax.icl69544logplainblame
-rw-r--r--trans.dcl1215logplainblame
-rw-r--r--trans.icl163055logplainblame
-rw-r--r--transform.dcl2096logplainblame
-rw-r--r--transform.icl110981logplainblame
-rw-r--r--type.dcl1168logplainblame
-rw-r--r--type.icl148543logplainblame
-rw-r--r--type_io.dcl1028logplainblame
-rw-r--r--type_io.icl13889logplainblame
-rw-r--r--type_io_common.dcl1824logplainblame
-rw-r--r--type_io_common.icl2443logplainblame
-rw-r--r--typeanal.dcl27logplainblame
-rw-r--r--typeanal.icl30logplainblame
-rw-r--r--typeproperties.dcl1551logplainblame
-rw-r--r--typeproperties.icl4460logplainblame
-rw-r--r--typesupport.dcl6547logplainblame
-rw-r--r--typesupport.icl84853logplainblame
-rw-r--r--unitype.dcl2275logplainblame
-rw-r--r--unitype.icl43170logplainblame
-rw-r--r--unsafe_heap.dcl632logplainblame
-rw-r--r--unsafe_heap.icl1892logplainblame
-rw-r--r--utilities.dcl4894logplainblame
-rw-r--r--utilities.icl11560logplainblame