George Necula c6afdfd8d6 [shape_poly] Simplify the API for processing polymorphic_shape specifications
Before, we had `export.poly_spec` to create a jax.ShapedDtypeStruct`
given a polymorphic shape specification. This function was
invoked `poly_spec(arg_shape, arg_dtype, polymorphic_shape)`.
The `arg_shape` was only needed when the polymorphic shape spec
contained placeholders.

We break out an `export.symbolic_shape` that is just a parser
of polymorphic shape specs and we ask the user to invoke
`jax.ShapeDtypeStruct` directly:

`jax.ShapeDtypeStruct(export.symbolic_shape(polymorphic_shape, like=arg_shape), arg_dtype)`.

We also rename the `export.poly_specs` to `export.arg_specs`.
2023-11-28 12:45:59 +02:00
..
2023-11-15 22:35:52 -05:00
2023-11-14 23:52:41 -05:00
2023-11-15 20:01:00 +01:00
2023-07-24 14:38:20 -07:00
2023-08-30 15:13:32 -07:00
2023-11-19 14:51:10 +08:00
2023-10-03 14:04:09 -07:00
2023-10-10 08:46:36 -07:00
2023-11-22 09:35:03 -08:00