e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6f84880cea4485fba85b521d122eba73b0df70b |
|
10-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep qualification for overloaded names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12911 cec4b9c1-7d33-0410-9eda-942365e851bb |
4805aaef9706fd26f102ffd712b99cb8778ba3c1 |
|
03-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid crash
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12886 cec4b9c1-7d33-0410-9eda-942365e851bb |
72b9099aeec0762bae4546db3bc4b48721027bf4 |
|
10-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12817 cec4b9c1-7d33-0410-9eda-942365e851bb |
878ac75d7acbbb06412e82a4c95356ce60f942de |
|
06-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12795 cec4b9c1-7d33-0410-9eda-942365e851bb |
522913d1d69be804c9579bbc77868ec6b501b608 |
|
05-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fail by returning Nothing for wrong types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12784 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb |
3bffe0f10ad93403e36288a1a4a92d50356956b5 |
|
30-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
early resolve monomorphic constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12549 cec4b9c1-7d33-0410-9eda-942365e851bb |
cc584a730c98e711c2a244e51b102ba1821e531d |
|
24-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
unwrap types before comparing to avoid false rejections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11986 cec4b9c1-7d33-0410-9eda-942365e851bb |
66f4f32855e7e2f0cf79b50ce6bd426598d9b166 |
|
23-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refined lesserType relation considering the lazy type constructor '?'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11830 cec4b9c1-7d33-0410-9eda-942365e851bb |
74a946e10a4b324c10d7a59f84298afbcae9b3cf |
|
04-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
require kind in GEN-VAR-DECL #579
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10650 cec4b9c1-7d33-0410-9eda-942365e851bb |
4aad9879e208b4ebc32b47b551a94a5e13e4f716 |
|
20-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added invariance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9219 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b1153c560b677f9f5da2a60ee8a10de75ff90c5 |
|
20-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected InVar to NonVar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9214 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd6b297dcf467926715d0a6bd36e8d4071b6728e |
|
11-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
infer kind before expanding type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8830 cec4b9c1-7d33-0410-9eda-942365e851bb |
32a7cc7177ecf70e35ec831ff86887b9acc40dca |
|
31-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep (and allow more) minimal raw kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8764 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5b008ac61f0f3d99f41ad3476f945e2b65bd3c0 |
|
31-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
* added lesserRawKind and minRawKind
* refactored keepMinKinds and cyclicClassId (only ClassAna)
* minRawKind still needs to be considered in Merge and VarDecl.addTypeKind
* used foldType for rawKindOfType and monotonic
* removed unused argument for monotonic and monoSubst
* removed stripType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8761 cec4b9c1-7d33-0410-9eda-942365e851bb |
2143841e2b81aa0eaafa6bf81eb57cef33cf29e6 |
|
29-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
differentiated renaming types for speed up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8745 cec4b9c1-7d33-0410-9eda-942365e851bb |
950e053ba55ac9c7d9c26a1ab48bd00202b29511 |
|
29-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added type folding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8743 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa7c917bb0904cc71bb79b8d0cb2e0a08cd227aa |
|
29-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8736 cec4b9c1-7d33-0410-9eda-942365e851bb |
e3deb984f8f0a06e1b5ed101fb42aa11b8673ffa |
|
27-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
recursive expansion exhausted the heap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8714 cec4b9c1-7d33-0410-9eda-942365e851bb |
498682dcbd795b1cc81c5d640076818d69b6a46d |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
also expand body of an alias type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8710 cec4b9c1-7d33-0410-9eda-942365e851bb |
72909c6c1cfe9702f5910d0a135c8b55729c7917 |
|
24-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed intersection kinds for kinded types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8709 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a39036fa485579a7b7c81cdd44a412392571927 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
better recognize compound lists in type terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8587 cec4b9c1-7d33-0410-9eda-942365e851bb |
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13 |
|
25-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kind lists to kind sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8481 cec4b9c1-7d33-0410-9eda-942365e851bb |
89dc77946055c0e4cb4671c4a74c3dcd55ed41a1 |
|
17-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed TypeEnv type synonym
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8390 cec4b9c1-7d33-0410-9eda-942365e851bb |
7de39d39bc1700cc8a9bb9df90b920aad9e18d4a |
|
16-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused instantiation lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8386 cec4b9c1-7d33-0410-9eda-942365e851bb |
81d182b21020b815887e9057959228546cf61b6b |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock Description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8310 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
2118d66b6aa3c90458925019c9b2fb986e2b2aab |
|
29-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
variance of raw kinds may differ for expanded types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8199 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c35990c03276d1e675ea6f4ba38f47081620d77 |
|
21-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore variance when none is expected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8098 cec4b9c1-7d33-0410-9eda-942365e851bb |
27912d626bf179b82fcb337077e5cd9653bb71cf |
|
12-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed AliasTypeDefn from Typescheme to TypeAbs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8023 cec4b9c1-7d33-0410-9eda-942365e851bb |
55ea7f4cb33abac6a8d539741e457cf686d1f26c |
|
11-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
inferKinds for both parts of and ExpandedType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8017 cec4b9c1-7d33-0410-9eda-942365e851bb |
570e76db4a9af54fb440cdb1e218649bddd9aa56 |
|
11-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
the functor example ticket 191 works now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8015 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fb0db7f56cbb44c3df49552c04afc881267b84e |
|
05-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
small clean ups
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7983 cec4b9c1-7d33-0410-9eda-942365e851bb |
793945d4ac7c0f22760589c87af8e71427c76118 |
|
01-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use single step beta reduction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7965 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f0aa53f11a0d1ab08c76428b9de73db5b17c977 |
|
01-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
transition to using TypeAbs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7961 cec4b9c1-7d33-0410-9eda-942365e851bb |
874f2760b218fd69251a40eeaeae56ca0e54a183 |
|
24-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added TypeAbs functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7935 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ba383b1607c20c57e14324e72cee2c789436d5f |
|
24-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated some TypeAbs cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7934 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1bd8688a1ce545444792a307412711c2c61df5f |
|
24-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved addTypeVarDecl from VarDecl to TypeAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7932 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ac1742771a267119f1d839054b5e45d0a468085 |
|
16-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
further speeded up and refactored expandAliases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7691 cec4b9c1-7d33-0410-9eda-942365e851bb |
2accef74994c65663dc990aa8ea15767bb73f0b9 |
|
16-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
speeded up expandAlias
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7689 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8e |
|
06-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced showPretty with showDoc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6620 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a13581acc5a76d392c1dec01657bb3efd4dcf2d |
|
07-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Common.Doc.Pretty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6181 cec4b9c1-7d33-0410-9eda-942365e851bb |
d48085f765fca838c1d972d2123601997174583d |
|
23-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed FunType, ProductType and LazyType in favour of TypeAppls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb |
975642b989852fc24119c59cf40bc1af653608ff |
|
11-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
redesigned subtypes and their defns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4902 cec4b9c1-7d33-0410-9eda-942365e851bb |
81946e2b3f6dde6167f48769bd02c7a634736856 |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated variance, kinds and raw kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4810 cec4b9c1-7d33-0410-9eda-942365e851bb |
c2dead95fafd7ca36d06ddf07606a1292ead6d8a |
|
19-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured unification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4712 cec4b9c1-7d33-0410-9eda-942365e851bb |
d93bbbec133697cc79d59f9d7cc8e97458976c15 |
|
14-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
swapped arguments in recursive applications of lesserType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4664 cec4b9c1-7d33-0410-9eda-942365e851bb |
717686b54b9650402e2ebfbaadf433eab8ba5171 |
|
13-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
redesigned getConstrType, moved morphism type to Le
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4648 cec4b9c1-7d33-0410-9eda-942365e851bb |
8dcc70ff9afdfe4aff258676718677a4d7076fd0 |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
fresh variables are not stored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4641 cec4b9c1-7d33-0410-9eda-942365e851bb |
149e43c4a2705a86a0e5fa301ba849fdf19db32e |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed generalization
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4640 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9953bc9d3d8aa7290bf6d3c2c86b84c984a0f09 |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked for unexpanded aliases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4637 cec4b9c1-7d33-0410-9eda-942365e851bb |
10397bcc134edbcfbe3ae2c7ea4c6080036aae22 |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved alias expansion to TypeAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4635 cec4b9c1-7d33-0410-9eda-942365e851bb |
35597678f1c9da703de8d0b6b66ea63247ebe884 |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed getKindAppl, cleaned up TypeAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4634 cec4b9c1-7d33-0410-9eda-942365e851bb |
14a1af9d9909dc47dc7fee6b0170b7ac0aef85da |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated mkTypeConstrAppl and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4632 cec4b9c1-7d33-0410-9eda-942365e851bb |
840b2a6f37ec58f3281da16fafbc4121462c856a |
|
11-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended unboundTypevars
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4623 cec4b9c1-7d33-0410-9eda-942365e851bb |
bb13d067514a3f474166f345e098b81f3de11dbe |
|
11-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed generalize errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4614 cec4b9c1-7d33-0410-9eda-942365e851bb |
ce7653c9c71e23bf04a5ec0ca5cb600c3738a909 |
|
11-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved kind inference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4608 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ffc23d93e8c5eb68460d80487a2789ea55c0381 |
|
08-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed slash in haddock comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4573 cec4b9c1-7d33-0410-9eda-942365e851bb |
36c6cc568751e4235502cfee00ba7b597dae78dc |
|
07-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
major HasCASL redesign (many bugs left)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4571 cec4b9c1-7d33-0410-9eda-942365e851bb |
d42a01c4eb6892fe23ca9eff107bb29f4a229480 |
|
20-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected inferKind for Y-Combinator
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4470 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed all position infos to [Pos]
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a3fff8a85da11b3839e7849c5a2ed5d1310b498 |
|
10-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed some places in types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3649 cec4b9c1-7d33-0410-9eda-942365e851bb |
ccf3de3d66b521a260e5c22d335c64a48e3f0195 |
|
22-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed generalization by using subst instead of repl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3317 cec4b9c1-7d33-0410-9eda-942365e851bb |
aff01ee50b66032469c232e00c945d1fd4f57d1b |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
just moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3278 cec4b9c1-7d33-0410-9eda-942365e851bb |
64f7c2188d578b920d8e5513a423449af633e9bc |
|
10-Aug-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
disallowed free variables in downsets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3042 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a9dafc31d54a6bdac1acda72bb15aceffb0240f |
|
03-Aug-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added subtyping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3003 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc4bfcb8a5092af158e8a5691c8de8d6bc8b8724 |
|
03-Aug-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added subtype check and changed simplification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3002 cec4b9c1-7d33-0410-9eda-942365e851bb |
d17834302eaa101395b4b806cd73670fd864445f |
|
19-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Pred and Qual type in schemes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2958 cec4b9c1-7d33-0410-9eda-942365e851bb |
7dec34aee2b609b9535c48d060e0f7baf3536457 |
|
16-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made data type variables negative
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2951 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8 |
|
15-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced data patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2943 cec4b9c1-7d33-0410-9eda-942365e851bb |
e76e6a43f51438215737d6fc176c89da05bb86da |
|
13-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed type variable representation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2937 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f67ca7b0c738a28f6688ba6e96d44d7c14af611 |
|
23-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kinds and alias types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2893 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee9eddfa6953868fd6fbaff0d9ff68675a13675a |
|
27-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2492 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1124c6303c288db3fcb40518d38169cd7baaa4c |
|
19-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed State Env (Maybe ..) to Env -> Result ..
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2415 cec4b9c1-7d33-0410-9eda-942365e851bb |
b814fecd0a2dbdeae62402903783d08e4206b4d2 |
|
07-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not use unresolved type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2374 cec4b9c1-7d33-0410-9eda-942365e851bb |
887c59029c7d60230a8cf2a2ac2130991de7d1fe |
|
18-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
kept aliases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2291 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b3bf7c6cf82dc11478bbac3414fe657b9bca327 |
|
02-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated compound type ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2235 cec4b9c1-7d33-0410-9eda-942365e851bb |
0551888eaa2644528f6d483c2822de3f3c858723 |
|
14-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sure that there are no singleton tuples and product types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1959 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0fc085c18022cd3feb88dd6aa030b76e231b833 |
|
30-Oct-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treat polymorphic data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1808 cec4b9c1-7d33-0410-9eda-942365e851bb |
0d430ecf353b6ca5dd9f49ce43fec59c36b063d5 |
|
02-Oct-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used inferKind, added builtin types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1742 cec4b9c1-7d33-0410-9eda-942365e851bb |
c18e9c3c6d5039618f1f2c05526ece84c7794ea3 |
|
25-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
merge raw-kinds branch with main trunk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
8197d0be8b81692f311ad5ca34e125e2cf9eecb8 |
|
30-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded aliases earlier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1627 cec4b9c1-7d33-0410-9eda-942365e851bb |
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8 |
|
19-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only restructured again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1507 cec4b9c1-7d33-0410-9eda-942365e851bb |
7abd0c58a5ce51db13f93de82407b2188d55d298 |
|
18-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only used simple state monad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1505 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237f |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added data type analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1263 cec4b9c1-7d33-0410-9eda-942365e851bb |
eee1316a9384b10682c998bd4b62b4a5ca2ce820 |
|
14-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Reader Monad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1249 cec4b9c1-7d33-0410-9eda-942365e851bb |
23f8d286586ff38a9e73052b2c7c04c62c5c638f |
|
11-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured with a Reader
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1242 cec4b9c1-7d33-0410-9eda-942365e851bb |
469af98c69977faf5666e689eae863c1606ce269 |
|
03-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed bracket arguments in expandPos to a pair
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1191 cec4b9c1-7d33-0410-9eda-942365e851bb |
da245da15da78363c896e44ea97a14ab1f83eb50 |
|
11-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Set for intersection classes (and PPUtils for printing)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1093 cec4b9c1-7d33-0410-9eda-942365e851bb |
04dada28736b4a237745e92063d8bdd49a362deb |
|
10-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended merging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1090 cec4b9c1-7d33-0410-9eda-942365e851bb |
b49276c9f50038e0bd499ad49f7bd6444566a834 |
|
05-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1060 cec4b9c1-7d33-0410-9eda-942365e851bb |
064bbb2f1cef3424825c4772e64c53141d134e5b |
|
04-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted kind inference to constructor classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1042 cec4b9c1-7d33-0410-9eda-942365e851bb |
7feac39f792f587cffdc8b63b0e7c5a7d2de292e |
|
03-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1038 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d2f1a7947dde4ff340f8d4908ae0f22c74fdeda |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only curried kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1018 cec4b9c1-7d33-0410-9eda-942365e851bb |
f71a8dcf94fd9eb3c9800e16dcdc5e5ff74e5c22 |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced FiniteMap with Map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@997 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8ffec0fa3d3061061bdc16e44247b9cf96b050f |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@977 cec4b9c1-7d33-0410-9eda-942365e851bb |
30203b61afb4393c8e459470b3a16d1fe26acc7f |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@946 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa45d098e1c9d468f128be9505eb7e5b2705b304 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
checking kinds of vars and ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@915 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac07a6558423dae7adc488ed9092cd8e9450a29d |
|
03-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@810 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf3232cec840a6945667bdb06f5b47b22243bc8f |
|
31-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made TypeInfo record
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@809 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3cd81f98592d1dbf301f48af31677a6a0cc666a |
|
30-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
provided for ho kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@801 cec4b9c1-7d33-0410-9eda-942365e851bb |
e289294500ad68fa0706b09521af340bbb356a69 |
|
29-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included kind analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@799 cec4b9c1-7d33-0410-9eda-942365e851bb |
08faa81d4dd8409cd923b334064f64f802ecc33d |
|
17-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated class and type analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@771 cec4b9c1-7d33-0410-9eda-942365e851bb |
d09d2cf772159cb32043fb328d26d947574c2a28 |
|
16-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized kind equality to kind compatibility
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@765 cec4b9c1-7d33-0410-9eda-942365e851bb |
0205259ae45f1fc559cef00e69ca54a3aea10aca |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
reorganized TypeDecl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@763 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ee1583f9432b663d858b6bcc51a74413d7f02fc |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@762 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0742398d4587242b1a115de113cd17f63dcb6d0 |
|
14-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
reworked class decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@744 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c57322afb6342e5cc8b1fdc96050b707407fc61 |
|
10-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
change Name to Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@736 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c56ba9d3d481421a827c947233e669059056ca3 |
|
09-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed class names to (compound) ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@734 cec4b9c1-7d33-0410-9eda-942365e851bb |
078dd2f6a402c8d9804616dc9616b27ce380a2ea |
|
08-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@731 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2149e576afc5770597d033a1884da0627df0a4e |
|
07-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@727 cec4b9c1-7d33-0410-9eda-942365e851bb |
c00adad2e9459b422dee09e3a2bddba66b433bb7 |
|
02-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
start analyzing types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@720 cec4b9c1-7d33-0410-9eda-942365e851bb |