Skip to content

Instantly share code, notes, and snippets.

View Tchou's full-sized avatar

Kim Nguyễn Tchou

View GitHub Profile
@Tchou
Tchou / gist:bfdcbccc048d394c9ad8e2ec1f23c32f
Created October 27, 2023 17:45
Dune crash stacktrace and _build/log
View gist:bfdcbccc048d394c9ad8e2ec1f23c32f
Internal error, please report upstream including the contents of _build/log.
Description:
("Syntax identifier is unset",
{ name = "menhir"
; supported_versions =
{ version_map =
map
{ 1 : map { 0 : (1, 0); 1 : (1, 4) }
; 2 : map { 0 : (1, 4); 1 : (2, 2) }
}