GitHub PushEvent at 2014-07-17 16:29:18
Repository: modern-eiffel
Actor: hbr
Payload: {"shas":[["d5d04f6c3f1a91b75f020864023b51857cd719f0","2a976b4bbba93be32d8c9a2121cf52b8d4716f19@gmx.net","Downgrade, ghost, normalize in signature\n\nConstant signatures which have a predicate or a function type can\nbe downgraded to a callable signature. In order to do this the\narguments and the return type had to be extracted from the\npredicate/function type and from the argument (which can be a tuple)\nall possible arguments had to be extracted.\n\nGhost functions are represented within the signature. Ghost types no\nlonger exist.\n\nThe signatures contain information if the feature is a ghost function\nor a procedure. A normalized signature resets the corresponding flags.\nThe feature map contains only normalized signatures in order to avoid\ndouble entries (e.g. in the private view we can have a not first class\nfunction which must be exported as a procedure).\n\n\tmodified:   ocaml/class_table.ml\n\tmodified:   ocaml/class_table.mli\n\tmodified:   ocaml/context.ml\n\tmodified:   ocaml/feature_table.ml\n\tmodified:   ocaml/parser.mly\n\tmodified:   ocaml/signature.ml","Helmut Brandl",true]],"size":1,"ref":"refs/heads/modules","head":"d5d04f6c3f1a91b75f020864023b51857cd719f0"}