aboutsummaryrefslogtreecommitdiff
path: root/frontend/syntax.dcl
AgeCommit message (Collapse)AuthorFilesLines
2009-07-29fix bug that may occur if a let variable is used in another let in an ↵johnvg1-2/+3
alternative of a case and is also used in another alternative, these lets were not added to the list of lets closed by cases, now they are, and the let will be reopened in the other alternative git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1751 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-28mark strict vars with VI_StrictLetVar, transform case of such a varjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1745 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-07-28create new fv_info_ptr's for strict lets in distributeLets, because otherwisejohnvg1-12/+3
backendpreprocess may number variables incorrectly, causing a crash in backend.dll, renamed VI_CaseVar to VI_CaseOrStrictLetVar git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1744 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-02-25add explicit import of generic functionsjohnvg1-2/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1728 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2009-02-25replace type ImportedIdent by Ident because ii_extended is not usedjohnvg1-11/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1727 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2008-10-28remove fields gen_cases and gen_star_cases because they are notjohnvg1-2/+0
used and may cause the compiler to crash if generic definitions and instances occur on a cycle of definition modules git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1702 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-09-11make a![i] unique in yielded element if the yielded array is used only byjohnvg1-1/+6
{a & [i]= } expressions, instead of [i] a sequence of record and array selections may be used. ending with an array selection git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1687 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-09-10rename NormalSelectorUniqueElementResult as UniqueSelectorUniqueElementResult,johnvg1-1/+3
use UniqueSingleArraySelector for a![i] instead of NormalSelector and add UniqueSingleArraySelectorUniqueElementResult git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1686 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-09-05use an integer instead of a string in GenTypeVarjohnvg1-3/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1685 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-09-05use bimapId instead of bimap{|*|} for variablesjohnvg1-8/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1684 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-19remove VI_Defined and VI_LocallyDefined because they are not used anymorejohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1679 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-19remove unused field cons_arg_vars,johnvg1-6/+5
remove unused field stv_count in STE_BoundTypeVariable, remove unused argument def_macros of type CollectedDefinitions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1678 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-13implement newtypejohnvg1-3/+8
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1672 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-12implement {# and {! in array comprehensions that create a new arrayjohnvg1-3/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1671 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11remove string in AP_Empty constructorjohnvg1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1666 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11rename field cons_index as cons_numberjohnvg1-4/+3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1665 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-04-11move some type definitions from checksupport.dcl to syntax.dcljohnvg1-51/+83
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1659 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-14implement qualified explicit importsjohnvg1-12/+35
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1649 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-02-06in checkExplicitImportCompleteness when checking whether a symbol is imported,johnvg1-0/+3
compare module number and symbol number as well, instead of just the name of the ident git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1646 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2007-01-29remove instances from ExplImpComponentNrs, because it is always []johnvg1-3/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1643 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2006-07-17fix bug in anonymizeAttrVars, the previous algorithm replaced attributejohnvg1-1/+6
variables occuring before different type variables by a '.'. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1604 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-22remove unused field tdi_markjohnvg1-3/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1571 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-11-21remove unused constructor WildCardjohnvg1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1567 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-09-16make line number in thejohnvg1-0/+1
"demanded attribute cannot be offered by shared object" error message more accurate, store position in CaseAlt (added field calt_position) git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1544 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-04-21remove support for 1.3 import syntaxjohnvg1-2/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1536 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-31bug for for update of records with existential variable(s): compare indicesjohnvg1-1/+1
of the constructor, instead of a type index with a constructor index, create VITI_PatternType only for records git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1512 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-21prevent compiler crash in function requirements_of_fields whenjohnvg1-1/+1
a record occurs in a pattern and this record (variable) is updated with a field of another record (with fewer fields). for example: :: R1 = {v1::!Int}; :: R2 = {v2::!Int,n1::!Real}; f r=:{v1} = {r & v2=v1}; git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1509 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2005-01-19implement let in comprehensionsjohnvg1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1507 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-19remove TC; typesronny1-1/+1
type constructors in dynamic types are now uniquely represented by the descriptor of their TD_ (type definition) function git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1486 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-04-02implement foreign export with stdcalljohnvg1-3/+10
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1483 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2004-03-17reification of type definitionsronny1-2/+9
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1465 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-15add foreign exportjohnvg1-0/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1436 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11move FunctionPattern type from syntax to backendconvertjohnvg1-8/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1428 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-12-11remove BackendBodyjohnvg1-6/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1427 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-17added limited support for uniqueness attributes in dynamic typesronny1-0/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1394 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-10-07isolate Index type for compatability with Sparkle source treeronny1-3/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1384 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-20removed unnecessary separate fields for universal variables,ronny1-2/+1
they are represented by the TFA constructor for types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-08-19removed unused administrationsronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1370 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-07-15OBJECT marking is addedalimarin1-1/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19removed unused field class_arg_kindsronny1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1355 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-19s/sd__ident/sd_ident/gronny1-2/+2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1353 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-06-13removed PA bug workaroundronny1-1/+0
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1342 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-05-16renamed field names of type Ident in syntax treeronny1-31/+31
s/\<mod_name\>/mod_ident/g s/\<ps_field_name\>/ps_field_ident/g s/\<ps_selector_name\>/ps_selector_ident/g s/\<pc_cons_name\>/pc_cons_ident/g s/\<class_name\>/class_ident/g s/\<gen_name\>/gen_ident/g s/\<gen_member_name\>/gen_member_ident/g s/\<gc_name\>/gc_ident/g s/\<gc_gname\>/gc_gident/g s/\<fs_name\>/fs_ident/g s/\<td_name\>/td_ident/g s/\<fv_name\>/fv_ident/g s/\<var_name\>/var_ident/g s/\<type_name\>/type_ident/g s/\<symb_name\>/symb_ident/g s/\<tv_name\>/tv_ident/g s/\<av_name\>/av_ident/g s/\<me_symb\>/me_ident/g s/\<ft_symb\>/ft_ident/g s/\<fun_symb\>/fun_ident/g s/\<cons_symb\>/cons_ident/g s/\<sd_symb\>/sd__ident/g git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1340 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-02-24added fusion of unboxed lists of records, movedjohnvg1-3/+2
FI_IsNonRecursive from partition.icl and trans.icl to syntax.dcl, added FI_IsUnboxedListOfRecordsConsOrNil to mark instances of unboxed lists of records generated in type.icl git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1322 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2003-01-08Bug fix: uniqueness error in recordssjakie1-1/+1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1308 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-13Removed bugs in analysis of abstract data types and adjusted typing of ↵sjakie1-1/+6
record updates git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1277 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-11-01moved RefCountsInCase and SplitsInCase type definitions from syntax to ↵ronny1-33/+2
convertcases git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1266 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-31Fix bug where wrong type code constructor was selected.ronny1-1/+1
The fix is to not use the index and table of type code constructors,. The indices and tables should be cleaned up later. git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1265 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-30Removed at least 4 bugs (maybe more, but i can't remember):sjakie1-1/+1
better check for properties of abstract types, check for linearity of instance types, uniqueness bug for type synonyms, kind check for function (arrow) types git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1262 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
2002-10-18add boxed records and strict dot dot expressionsjohnvg1-5/+6
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1236 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-19 15:04:35 +0000