Age | Commit message (Collapse) | Author | Files | Lines |
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@410 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@409 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@408 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
removed comments
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@407 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
fixed bugs
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@406 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@405 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@404 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
(ConvertState is attributed where it's use uniquely)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@403 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@402 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@401 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@400 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@399 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@398 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@397 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
(it's now together with ImportedConstructors)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@396 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@395 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@394 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@393 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
concerning specified instance types, that by far go beyond the standards
of Clean 1.3.3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@392 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
definition module spetiul
f :: a | == a special a=Int
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@391 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
from StdEnv import == // instead of class ==(..)
the _member_ "==" was imported resulting in complaints that the
corresponding class was not imported
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@390 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
:: *T = T
f x=:(T,b) = x
the derived result type of f was not essentially unique: f :: .. -> (.T, .a)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@389 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@388 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@387 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@386 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@385 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@384 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
backendconvert.icl)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@383 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@382 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@381 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@380 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@379 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@378 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@377 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
test for NULL params in GenParameters (reason unknown)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@376 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
marked duplicate definitions of cTypeDelimiter _ANALYSE_IDENT_
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@375 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@374 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@373 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
fun1 f = fun2
where
fun2 :: .c
fun2
| g f = undef
g :: (.b -> .b) -> Bool
g _ = True
was
[o u[11651944]:a -> u[11651944]:a] -> c[11210672]:c
but st_attr_vars was
[c[11210672], c[11210672]]
(u[11651944] is missing)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@372 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@371 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
class c m :: *(m Int) -> (m Int)
is not accepted anymore
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@370 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
U is unique but instantiates class variable x that is non uniquely used.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@369 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
fromString is not yet supported
some error handling improved
parial instances are temporary disabled
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@368 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@367 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
2. bugfix for fusion algorithm
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@366 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@365 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@364 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@363 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@362 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|
|
ignored the type specification. Now he treats f as a function, and hence
gives a type error
Start = f
where
f :: String
f = 1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@361 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
|