Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ignore *.o files in runtime/ #1

Merged
merged 1 commit into from
Mar 14, 2013
Merged

Conversation

bleibig
Copy link
Contributor

@bleibig bleibig commented Mar 13, 2013

No description provided.

MatthewFluet added a commit that referenced this pull request Mar 14, 2013
Ignore *.o files in runtime/
@MatthewFluet MatthewFluet merged commit cbfa160 into MLton:master Mar 14, 2013
MatthewFluet pushed a commit to MatthewFluet/mlton that referenced this pull request Jul 20, 2013
MatthewFluet pushed a commit to MatthewFluet/mlton that referenced this pull request Jul 29, 2013
Multi-entry function updates

* fixes for compilation with SML/NJ
* add `-check-multi-entry {false|true}` command-line flag to conditionally exercise the multi-entry compilation pipeline
* fix unset property in `dominatorForest` calculation
* misc. simplifications
MatthewFluet added a commit to MatthewFluet/mlton that referenced this pull request Aug 12, 2017
Consider the following program:

    val l = [(true,1), {1 = true}]

    fun f r =
       case r of
          {1 = NONE} => ()

Previously, MLton generated the following messages:

    Error: r.sml 1.20-1.29.
      List with element of different type.
        element:  [bool]
        previous: [bool * int]
        in: [(true, 1), true]
    Warning: r.sml 5.7-5.22.
      Case is not exhaustive.
        missing pattern: (SOME _)
        in: case r of {1 = NONE} => ()

Note that the `{1: bool}` type and `{1 = SOME _}` pattern are
confusingly displayed as `bool` and `(SOME _)`.

Now, MLton generates the following messages:

    Error: r.sml 1.20-1.29.
      List with element of different type.
        element:  [{1: bool}]
        previous: [bool * int]
        in: [(true, 1), {1 = true}]
    Warning: r.sml 5.7-5.22.
      Case is not exhaustive.
        missing pattern: {1 = SOME _}
        in: case r of {1 = NONE} => ()
MatthewFluet pushed a commit that referenced this pull request Sep 27, 2017
MatthewFluet pushed a commit that referenced this pull request Aug 18, 2018
MatthewFluet added a commit to MatthewFluet/mlton that referenced this pull request Jan 21, 2020
The `<name> = _symconst : <ty>` form becomes

    const <cty> <name>;

in `basis-ffi.h` and becomes

    MLton#1 (_symbol "<name>" : (unit -> <ty>) * (<ty> -> unit);) ()

in `basis-ffi.sml`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants