Skip to content

Does not compile on fedora #20

@kirollos-ha

Description

@kirollos-ha

when compiling on fedora with mlton compilation fails with the following output

Generated file src/version.sml
Git version v1.7.13 2026-02-16
mlton -output aplt src/aplt.mlb
Warning: src/il/il.sml 415.7-415.8.
  Constructor redefined by fun: If.
    in: fun If (IL.T, b, c) = b | If (IL.  ...   => (default ()) end
Warning: src/il/il.sml 438.7-438.9.
  Constructor redefined by fun: Var.
    in: fun Var n = (IL.Var n)
Warning: src/il/il.sml 439.7-439.7.
  Constructor redefined by fun: I.
    in: fun I n = (IL.I n)
Warning: src/il/il.sml 442.7-442.7.
  Constructor redefined by fun: D.
    in: fun D n = (IL.D n)
Warning: src/il/il.sml 443.7-443.7.
  Constructor redefined by fun: C.
    in: fun C c = (IL.C c)
Error: src/version.sml 1.21-1.27.
  Syntax error: deleting  STRUCT SHORTSYMID.
Error: src/version.sml 1.28-1.28.
  Undefined structure: n.
Error: src/version.sml 1.55-1.55.
  Undefined variable: \.
Error: src/version.sml 1.46-1.54.
  Function not of arrow type.
    function: [string]
    in: "v1.7.13" \
Error: src/version.sml 1.56-1.56.
  Undefined variable: n.
Error: src/version.sml 1.83-1.83.
  Undefined variable: \.
Error: src/version.sml 1.71-1.82.
  Function not of arrow type.
    function: [string]
    in: "2026-02-16" \
Error: src/version.sml 1.84-1.84.
  Undefined variable: n.
Error: src/version.sml 1.149-1.149.
  Undefined variable: \.
Error: src/version.sml 1.103-1.148.
  Function not of arrow type.
    function: [string]
    in: "Linux 6.17.10-100.fc41.x86_64 x86_64 unknown" \
Error: src/version.sml 1.150-1.153.
  Undefined variable: nend.
Warning: src/version.sml 1.36-1.42.
  Type of variable was not inferred and could not be generalized: version.
    type: ???
    in: val version = "v1.7.13" \ n
Warning: src/version.sml 1.64-1.67.
  Type of variable was not inferred and could not be generalized: date.
    type: ???
    in: val date = "2026-02-16" \ n
Warning: src/version.sml 1.92-1.99.
  Type of variable was not inferred and could not be generalized: platform.
    type: ???
    in: val platform = "Linux 6.17.10-100  ...  6_64 unknown" \ nend
Error: src/aplt.sml 128.46-128.60.
  Undefined structure: Version.
Error: src/aplt.sml 129.43-129.54.
  Undefined structure: Version.
Error: src/aplt.sml 130.39-130.54.
  Undefined structure: Version.
make: *** [Makefile:40: aplt] Error 1

when compiling on fedora with mlkit (by running MLCOMP=mlkit make) compiation fails with the following output instead

Generated file src/version.sml
Git version v1.7.13 2026-02-16
mlkit -output aplt src/aplt.mlb
[reading source file:	src/flags.sig]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-unicode/UTF8.sig]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-parse/REGION.sig]
[reading source file:	src/util.sig]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-setmap/map/MONO_MAP.sig]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-setmap/set/MONO_SET.sig]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-random/RANDOM.sig]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-uref/uref.sig]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-sort/LIST_SORT.sig]
[reading source file:	src/flags.sml]
[wrote X64 code file:	src/MLB/RI_GC/flags.sml.s]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-unicode/Utf8.sml]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-unicode/MLB/RI_GC/Utf8.sml.s]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-parse/Region.sml]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-parse/MLB/RI_GC/Region.sml.s]
[reading source file:	src/util.sml]
[wrote X64 code file:	src/MLB/RI_GC/util.sml.s]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-setmap/map/OrderMapImpl.sml]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-setmap/set/OrderSetImpl.sml]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-random/Random.sml]
[wrote X64 code file:	src/tail/../lib/github.com/diku-dk/sml-random/MLB/RI_GC/Random.sml.s]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-uref/uref.sml]
[wrote X64 code file:	src/tail/../lib/github.com/diku-dk/sml-uref/MLB/RI_GC/uref.sml.s]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-sort/ListSort.sml]
[wrote X64 code file:	src/tail/../lib/github.com/diku-dk/sml-sort/MLB/RI_GC/ListSort.sml.s]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-unicode/UNICODE_CHARS.sig]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-parse/PARSE.sig]
[reading source file:	src/laila/../statistics.sig]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-setmap/map/OrderMap.sml]
[reading source file:	src/tail/../lib/github.com/diku-dk/sml-setmap/set/OrderSet.sml]
[reading source file:	src/tail/apl.sig]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-unicode/UnicodeChars.sml]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-unicode/MLB/RI_GC/UnicodeChars.sml.s]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/../sml-parse/Parse.sml]
[reading source file:	src/laila/../statistics.sml]
[wrote X64 code file:	src/laila/../MLB/RI_GC/statistics.sml.s]
[reading source file:	src/laila/../il/../lib/github.com/diku-dk/sml-setmap/map/StringMap.sml]
[compiling body of functor OrderMap (from source mono_map.mlb->OrderMap.sml) begin]
[compiling body of functor OrderMapImpl (from source mono_map.mlb->OrderMapImpl.sml) begin]
[wrote X64 code file:	src/laila/../il/../lib/github.com/diku-dk/sml-setmap/map/MLB/RI_GC/StringMap.sml.code3.s]
[compiling body of functor OrderMapImpl end]
[wrote X64 code file:	src/laila/../il/../lib/github.com/diku-dk/sml-setmap/map/MLB/RI_GC/StringMap.sml.code1.s]
[compiling body of functor OrderMap end]
[reading source file:	src/tail/apl.sml]
[wrote X64 code file:	src/tail/MLB/RI_GC/apl.sml.s]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/AplLex.sml]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/MLB/RI_GC/AplLex.sml.s]
[reading source file:	src/laila/../il/type.sig]
[reading source file:	src/tail/tail_type.sig]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/AplAst.sml]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/MLB/RI_GC/AplAst.sml.s]
[reading source file:	src/laila/../il/il.sml]
[compiling body of functor OrderSet (from source mono_set.mlb->OrderSet.sml) begin]
[compiling body of functor OrderSetImpl (from source mono_set.mlb->OrderSetImpl.sml) begin]
[wrote X64 code file:	src/laila/../il/MLB/RI_GC/il.sml.code4.s]
[compiling body of functor OrderSetImpl end]
[wrote X64 code file:	src/laila/../il/MLB/RI_GC/il.sml.code2.s]
[compiling body of functor OrderSet end]
[wrote X64 code file:	src/laila/../il/MLB/RI_GC/il.sml.code1.s]
[wrote X64 code file:	src/laila/../il/MLB/RI_GC/il.sml.code5.s]
[wrote X64 code file:	src/laila/../il/MLB/RI_GC/il.sml.s]
[wrote X64 code file:	src/laila/../il/MLB/RI_GC/il.sml.code7.s]
[reading source file:	src/tail/tail_exp.sig]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/APL_PARSE.sig]
[reading source file:	src/laila/../il/ilutil.sig]
[reading source file:	src/tail/tail.sig]
[reading source file:	src/lib/github.com/diku-dk/sml-aplparse/AplParse.sml]
[compiling body of functor Parse (from source parse.mlb->Parse.sml) begin]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/MLB/RI_GC/AplParse.sml.code2.s]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/MLB/RI_GC/AplParse.sml.code4.s]
[compiling body of functor Parse end]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/MLB/RI_GC/AplParse.sml.code1.s]
[wrote X64 code file:	src/lib/github.com/diku-dk/sml-aplparse/MLB/RI_GC/AplParse.sml.code5.s]
[reading source file:	src/laila/../il/ilutil.sml]
[wrote X64 code file:	src/laila/../il/MLB/RI_GC/ilutil.sml.s]
[reading source file:	src/tail/tail_exp.sml]
[reading source file:	src/laila/laila.sig]
[reading source file:	src/tail/tail_optimize.sml]
[reading source file:	src/laila/laila-flat-pull-arrays.sml]
[wrote X64 code file:	src/laila/MLB/RI_GC/laila-flat-pull-arrays.sml.s]
[reading source file:	src/tail/tail_type.sml]
[wrote X64 code file:	src/tail/MLB/RI_GC/tail_type.sml.s]
[reading source file:	src/laila/laila.sml]
[wrote X64 code file:	src/laila/MLB/RI_GC/laila.sml.s]
[reading source file:	src/tail/tail.sml]
[compiling body of functor TailExp (from source tail.mlb->tail_exp.sml) begin]
[compiling body of functor OrderMap (from source mono_map.mlb->OrderMap.sml) begin]
[compiling body of functor OrderMapImpl (from source mono_map.mlb->OrderMapImpl.sml) begin]
[wrote X64 code file:	src/tail/MLB/RI_GC/tail.sml.code4.s]
[compiling body of functor OrderMapImpl end]
[wrote X64 code file:	src/tail/MLB/RI_GC/tail.sml.code2.s]
[compiling body of functor OrderMap end]
Impossible: RegAlloc.check_same_kind(Combine): different node kinds
[[ERR in sub process:
  CRASH]]
Stopping compilation of MLB-file due to error (code 1).
make: *** [Makefile:40: aplt] Error 1

OS: Fedora 41
smlpkg version: v0.1.7 (v0.1.7-1-g7cd3f2e)
mlkit version: v4.7.14 [X64 Backend]
(could not get mlton version)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions