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.dcl930logplainblame
-rw-r--r--_aconcat.icl939logplainblame
-rw-r--r--analtypes.dcl440logplainblame
-rw-r--r--analtypes.icl37137logplainblame
-rw-r--r--analunitypes.dcl581logplainblame
-rw-r--r--analunitypes.icl31404logplainblame
-rw-r--r--cheat.dcl67logplainblame
-rw-r--r--cheat.icl184logplainblame
-rw-r--r--check.dcl1188logplainblame
-rw-r--r--check.icl171437logplainblame
-rw-r--r--checkFunctionBodies.dcl714logplainblame
-rw-r--r--checkFunctionBodies.icl155269logplainblame
-rw-r--r--checkKindCorrectness.dcl311logplainblame
-rw-r--r--checkKindCorrectness.icl14556logplainblame
-rw-r--r--checksupport.dcl6302logplainblame
-rw-r--r--checksupport.icl24851logplainblame
-rw-r--r--checktypes.dcl2342logplainblame
-rw-r--r--checktypes.icl81239logplainblame
-rw-r--r--compare_constructor.dcl142logplainblame
-rw-r--r--compare_constructor.icl480logplainblame
-rw-r--r--comparedefimp.dcl506logplainblame
-rw-r--r--comparedefimp.icl56395logplainblame
-rw-r--r--compilerSwitches.dcl607logplainblame
-rw-r--r--compilerSwitches.icl611logplainblame
-rw-r--r--containers.dcl1821logplainblame
-rw-r--r--containers.icl10853logplainblame
-rw-r--r--convertDynamics.dcl994logplainblame
-rw-r--r--convertDynamics.icl62246logplainblame
-rw-r--r--convertcases.dcl1078logplainblame
-rw-r--r--convertcases.icl85907logplainblame
-rw-r--r--convertimportedtypes.dcl1675logplainblame
-rw-r--r--convertimportedtypes.icl8661logplainblame
-rw-r--r--explicitimports.dcl1108logplainblame
-rw-r--r--explicitimports.icl40263logplainblame
-rw-r--r--frontend.dcl1126logplainblame
-rw-r--r--frontend.icl22051logplainblame
-rw-r--r--general.dcl577logplainblame
-rw-r--r--general.icl1609logplainblame
-rw-r--r--generics.dcl506logplainblame
-rw-r--r--generics.icl164687logplainblame
-rw-r--r--hashtable.dcl755logplainblame
-rw-r--r--hashtable.icl9199logplainblame
-rw-r--r--main.icl14768logplainblame
-rw-r--r--mergecases.dcl288logplainblame
-rw-r--r--mergecases.icl24058logplainblame
-rw-r--r--overloading.dcl2073logplainblame
-rw-r--r--overloading.icl100310logplainblame
-rw-r--r--parse.dcl366logplainblame
-rw-r--r--parse.icl158619logplainblame
-rw-r--r--portToNewSyntax.dcl399logplainblame
-rw-r--r--portToNewSyntax.icl770logplainblame
-rw-r--r--postparse.dcl337logplainblame
-rw-r--r--postparse.icl74990logplainblame
-rw-r--r--predef.dcl3962logplainblame
-rw-r--r--predef.icl22347logplainblame
-rw-r--r--refmark.dcl306logplainblame
-rw-r--r--refmark.icl33911logplainblame
-rw-r--r--scanner.dcl4329logplainblame
-rw-r--r--scanner.icl61088logplainblame
-rw-r--r--syntax.dcl40593logplainblame
-rw-r--r--syntax.icl67585logplainblame
-rw-r--r--trans.dcl1174logplainblame
-rw-r--r--trans.icl145617logplainblame
-rw-r--r--transform.dcl1752logplainblame
-rw-r--r--transform.icl94062logplainblame
-rw-r--r--type.dcl1236logplainblame
-rw-r--r--type.icl143123logplainblame
-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.icl83424logplainblame
-rw-r--r--unitype.dcl2218logplainblame
-rw-r--r--unitype.icl42181logplainblame
-rw-r--r--utilities.dcl4811logplainblame
-rw-r--r--utilities.icl11565logplainblame