bamapro-2019-ss issueshttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues2019-09-03T14:13:43Zhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/38Types for lets2019-09-03T14:13:43ZBennet Bleßmannstu201758@mail.uni-kiel.deTypes for letsSome Let bindings may be without Type information,
the goal of this issue is to extract them from type inference and re-add them to let expressionsSome Let bindings may be without Type information,
the goal of this issue is to extract them from type inference and re-add them to let expressionsComplete Translationhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/59Fix compiler and linter warnings again2019-08-29T14:52:52ZKai ProttFix compiler and linter warnings againhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/61Problems with record access in lambda functions.2019-09-11T17:37:56ZKai ProttProblems with record access in lambda functions.For the translation of record acessors (e.g. standalone `.recField`), I am using lambda functions.
```.recField``` gets translated to ```\x -> x.rec_field```
But the type inference fails because `x` is a variable and not a record.For the translation of record acessors (e.g. standalone `.recField`), I am using lambda functions.
```.recField``` gets translated to ```\x -> x.rec_field```
But the type inference fails because `x` is a variable and not a record.Tammo HeilemannTammo Heilemannhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/64Record Extensions fail during apply in type inference2019-09-17T08:33:44ZTammo HeilemannRecord Extensions fail during apply in type inferenceComparing the types of two record extensions does not work.Comparing the types of two record extensions does not work.Tammo HeilemannTammo Heilemannhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/65Infered lambda type can not be used2019-09-16T06:17:53ZTammo HeilemannInfered lambda type can not be usedLambdas can not be infered, since the type scoping (@stu201758) can not find the type variable generated during type inference.Lambdas can not be infered, since the type scoping (@stu201758) can not find the type variable generated during type inference.Tammo HeilemannTammo Heilemannhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/69duplicate variable names without shadowing2019-09-19T08:50:49ZBennet Bleßmannstu201758@mail.uni-kiel.deduplicate variable names without shadowing```
f a = if a then
let b = True
in b
else
let b = 5
in b == 5.0
``````
f a = if a then
let b = True
in b
else
let b = 5
in b == 5.0
```Tammo HeilemannTammo Heilemannhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/70Issues with higher order and type inference2019-09-23T12:57:04ZKai ProttIssues with higher order and type inferencei.e `Easy/src/Polymorphism/HOPolyCorrect.elm`i.e `Easy/src/Polymorphism/HOPolyCorrect.elm`https://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/71TypeInference fails when Signature contains Tuple Pattern and Type is a Type ...2019-09-23T13:00:27ZBennet Bleßmannstu201758@mail.uni-kiel.deTypeInference fails when Signature contains Tuple Pattern and Type is a Type VariableMight also occur for Record Pattern and Type VariableMight also occur for Record Pattern and Type VariableTammo HeilemannTammo Heilemannhttps://git.ps.informatik.uni-kiel.de/student-projects/bamapro-2019-ss/-/issues/72Checking preconditions2019-09-23T18:13:13ZKai ProttChecking preconditionsCurrently preconditions are not checked at all, they are just used when verifying postconditionsCurrently preconditions are not checked at all, they are just used when verifying postconditions