Pflichtenheft hinzugefügt
Merge branch 'master' of github.com:SL2Team/sl2 into externdefs
Merge branch 'prelude' into externdefs
Merge branch 'prelude' of github.com:SL2Team/sl2
changed compilation driver so that it writes the compilation results to files instead of the console. (it also generate the json code)
Merge branch 'master' into externdefs
EXTERN zu syntax hinzugefuegt. also: IMPORT EXTERN "blubb" und DEF EXTERN bla = "blubb" zum abbilden von funktionen auf js funktionen...
external defs syntax working...
changed characters that are used to represent special characters so that the generated names are "more intuitive". (e.g. $e$e for ==, $p for +, $d for / etc.
 * added basic support for loading imported modules (so that they can be used for checking and code generation)
 * added code generator effects for external definitions and imports.
added module import stubs
Merge remote-tracking branch 'origin/master' into module_import
refactored model importer (now model normalizer)
added module normalizer method stubs
partial implementation
implemented module normalizer

note that the identifiers of actual FUNs and DATAs can not be
substituted
for instance: FUN foo : <Type>
will not translate to FUN <module>.foo : <Type>
added module context support

this implements a function which builds a context for modules which can
be used for type checking
converted tabs to whitespaces
removed debugging println
corrected a wrong test in parser spec for handcoded js.