We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents d111d2a + 066fd2b commit 4632466Copy full SHA for 4632466
1 file changed
src/frontend/Info.ml
@@ -19,7 +19,10 @@ let rec unsized_basetype_json t =
19
`Assoc
20
[ ("type", `List (List.map ~f:unsized_basetype_json internals))
21
; ("dimensions", `Int dims) ]
22
- | UMathLibraryFunction | UFun _ | UArray _ -> assert false
+ | (UMathLibraryFunction | UFun _ | UArray _) as t ->
23
+ Common.ICE.internal_compiler_error
24
+ [%message
25
+ "Unexpected unsized type in unsized_basetype_json" (t : UnsizedType.t)]
26
27
let basetype_dims t = SizedType.to_unsized t |> unsized_basetype_json
28
0 commit comments