aboutsummaryrefslogtreecommitdiff
path: root/frontend
ModeNameSize
-rw-r--r--Heap.dcl615logplainblame
-rw-r--r--Heap.icl2726logplainblame
-rw-r--r--StdCompare.dcl578logplainblame
-rw-r--r--StdCompare.icl6806logplainblame
-rw-r--r--_aconcat.dcl1576logplainblame
-rw-r--r--_aconcat.icl1580logplainblame
-rw-r--r--analtypes.dcl968logplainblame
-rw-r--r--analtypes.icl51515logplainblame
-rw-r--r--analunitypes.dcl581logplainblame
-rw-r--r--analunitypes.icl31404logplainblame
-rw-r--r--check.dcl1168logplainblame
-rw-r--r--check.icl174434logplainblame
-rw-r--r--checkFunctionBodies.dcl714logplainblame
-rw-r--r--checkFunctionBodies.icl155262logplainblame
-rw-r--r--checkKindCorrectness.dcl311logplainblame
-rw-r--r--checkKindCorrectness.icl14556logplainblame
-rw-r--r--checksupport.dcl6343logplainblame
-rw-r--r--checksupport.icl25058logplainblame
-rw-r--r--checktypes.dcl1907logplainblame
-rw-r--r--checktypes.icl81255logplainblame
-rw-r--r--compare_constructor.dcl142logplainblame
-rw-r--r--compare_constructor.icl480logplainblame
-rw-r--r--comparedefimp.dcl506logplainblame
-rw-r--r--comparedefimp.icl56075logplainblame
-rw-r--r--compilerSwitches.dcl564logplainblame
-rw-r--r--compilerSwitches.icl568logplainblame
-rw-r--r--containers.dcl1821logplainblame
-rw-r--r--containers.icl10853logplainblame
-rw-r--r--convertDynamics.dcl994logplainblame
-rw-r--r--convertDynamics.icl62259logplainblame
-rw-r--r--convertcases.dcl1078logplainblame
-rw-r--r--convertcases.icl68651logplainblame
-rw-r--r--convertimportedtypes.dcl1675logplainblame
-rw-r--r--convertimportedtypes.icl8661logplainblame
-rw-r--r--explicitimports.dcl1108logplainblame
-rw-r--r--explicitimports.icl40316logplainblame
-rw-r--r--frontend.dcl1181logplainblame
-rw-r--r--frontend.icl23184logplainblame
-rw-r--r--general.dcl646logplainblame
-rw-r--r--general.icl1727logplainblame
-rw-r--r--generics.dcl506logplainblame
-rw-r--r--generics.icl164836logplainblame
-rw-r--r--hashtable.dcl755logplainblame
-rw-r--r--hashtable.icl9199logplainblame
-rw-r--r--main.icl14875logplainblame
-rw-r--r--mergecases.dcl288logplainblame
-rw-r--r--mergecases.icl24071logplainblame
-rw-r--r--overloading.dcl2073logplainblame
-rw-r--r--overloading.icl100325logplainblame
-rw-r--r--parse.dcl391logplainblame
-rw-r--r--parse.icl158393logplainblame
-rw-r--r--portToNewSyntax.dcl399logplainblame
-rw-r--r--portToNewSyntax.icl770logplainblame
-rw-r--r--postparse.dcl362logplainblame
-rw-r--r--postparse.icl75421logplainblame
-rw-r--r--predef.dcl3962logplainblame
-rw-r--r--predef.icl22375logplainblame
-rw-r--r--refmark.dcl306logplainblame
-rw-r--r--refmark.icl36462logplainblame
-rw-r--r--scanner.dcl4458logplainblame
-rw-r--r--scanner.icl61609logplainblame
-rw-r--r--syntax.dcl40683logplainblame
-rw-r--r--syntax.icl68235logplainblame
-rw-r--r--trans.dcl1215logplainblame
-rw-r--r--trans.icl163207logplainblame
-rw-r--r--transform.dcl1752logplainblame
-rw-r--r--transform.icl94297logplainblame
-rw-r--r--type.dcl1236logplainblame
-rw-r--r--type.icl146117logplainblame
-rw-r--r--type_io.dcl754logplainblame
-rw-r--r--type_io.icl11932logplainblame
-rw-r--r--type_io_common.dcl1197logplainblame
-rw-r--r--type_io_common.icl1246logplainblame
-rw-r--r--typeanal.dcl27logplainblame
-rw-r--r--typeanal.icl30logplainblame
-rw-r--r--typeproperties.dcl1551logplainblame
-rw-r--r--typeproperties.icl4460logplainblame
-rw-r--r--typesupport.dcl6443logplainblame
-rw-r--r--typesupport.icl83867logplainblame
-rw-r--r--unitype.dcl2275logplainblame
-rw-r--r--unitype.icl43170logplainblame
-rw-r--r--utilities.dcl4811logplainblame
-rw-r--r--utilities.icl11560logplainblame