aboutsummaryrefslogtreecommitdiff
path: root/frontend
AgeCommit message (Collapse)AuthorFilesLines
2012-03-19clear me_type_ptr's after type checking,johnvg1-4/+14
if the cached type contained a generic type context, the compiler could crash git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2047 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-12-08prevent compiler crash if a function is defined twice and imported,johnvg1-14/+7
without scope==cGlobalScope errors are reported about predefined symbols (for example _Nil) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2034 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-12-08improve uniqueness error message (by explaining how the 'indicated position' ↵johnvg1-1/+1
is indicated) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2033 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-12-07prevent compile crash if dynamics are enabled and a type synonym is cyclicjohnvg1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2030 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-10move type TypeCodeVariableInfo to module syntax, remove type ↵johnvg18-49/+34
DynamicValueAliasInfo, adjust imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2027 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-09add module expand_types containing some functions from module trans and ↵johnvg13-494/+535
module typesupport git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2025 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-09adjust more imports after moving types Group and Component to module ↵johnvg3-7/+2
checksupport git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2021 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-09move types Group and Component to module checksupportjohnvg5-20/+11
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2019 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08rename module StdCompare to compare_typesjohnvg11-355/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2017 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08rename module StdCompare to compare_typesjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2016 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08rename module StdCompare to compare_typesjohnvg8-8/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2015 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08rename module StdCompare to compare_typesjohnvg2-0/+340
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2014 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08add import StdComparejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2013 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08add import StdComparejohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2012 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08remove unnecessary imports of module check,johnvg20-23/+25
remove import of StdCompare in checksupport.dcl, changed some other imports git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2010 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08remove differences in layout between the compiler and the iTask compilerjohnvg1-132/+106
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2007 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-08remove differences in layout between the compiler and the iTask compilerjohnvg1-5/+7
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2006 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-225/+233
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2005 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-196/+213
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2004 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-6/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2003 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-55/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2002 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-37/+38
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2001 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-22/+22
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2000 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-127/+131
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1999 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-07remove differences in layout between the compiler and the iTask compilerjohnvg1-17/+16
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1998 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-43/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1997 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1995 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compiler,johnvg1-2/+3
modified case_explicit of generated cases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1994 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-4/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1993 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-2/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1991 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg2-19/+14
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1990 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-2/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1989 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-70/+40
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1988 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-6/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1987 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg2-119/+62
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1986 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-40/+42
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1985 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-18/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1984 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-303/+306
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1982 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-378/+359
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1980 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-04remove differences in layout between the compiler and the iTask compilerjohnvg1-13/+4
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1979 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-11-03remove differences in layout between the compiler and the iTask compilerjohnvg1-110/+97
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1977 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-09-06remove unused function getGenericDefjohnvg1-9/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1969 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-09-06move mapSt2 and mapY2St from module check to module utilitiesjohnvg3-22/+44
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1968 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-08-18remove unused constructor PE_Field of type ParsedExprjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1960 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-08-10prevent compiler crash if an uppercase generic identifier is used in a patternjohnvg1-26/+21
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1958 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-06-30remove function sel_type_var, use foldSt instead of mapSt with unused list ↵johnvg1-47/+24
result git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1949 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-06-21prevent crash if a macro is exported using a function type, instead report errorjohnvg1-13/+27
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1946 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-05-03only allow universal quantifiers at the root of a function argument type,johnvg1-78/+106
constructor argument type or field type git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1935 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-21use strictness annotations in instance member types,johnvg11-229/+528
add instance member types in definition modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1932 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2011-04-19use unique array select and update instead of replacejohnvg11-70/+54
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1930 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d