introduce field throwing in SymV
access Meta field throwing, import the values and annotate them
"pure" recognized as keyword only when followed by "native"
"throws" is now a keyword
The type (a|b|c|d) is Either (Either (Either a b) c) d
throws information is parsed and propagated through compiler, annotated and imported
show Either types and throws clauses, detect types (ex1|ex2|result)
make isException return (left,right)
exception catching with Either types
doc comments can cause warning in the compiler if they start with 'warning:'
prelude for doc comments can cause warning in the compiler if they start with 'warning:'
give Class a type parameter
made the subst* functions pure, we need them pure in the *JT functions in gen.Util
fix issue#34
compile throws clause
make it possible to supress warnings on a per symbol basis, eliminate some warnings in compiler
avoid multiple warnings in symbols resolved twice
introduced PreludeIO, corrected many warnings
make Exceptional derivable for native types
Merge branch 'except'
- Fix issues #32 and #34
- Type (a|b|c) is Either (Either a b) c
- doc comments can trigger warnings
- native impure functions can have throws clauses
- frege.prelude.PreludeIO defines derivable type class Exceptional
- frege.prelude.PreludeIO defines catch/finally/try/throwST
Exception handling works like proposed and described in upcoming Language spec.