[CakeML-dev] [CakeML/cakeml] 3e598b: Add wildcard patterns to the AST

[Scott Owens]

Ugh, I just realised that I forgot to switch over to the new branch before committing. If someone can fix the cf quickly, we can probably leave this. Otherwise it won’t build at the moment.

Scott

> On 2017/04/24, at 17:56, GitHub <noreply at github.com> wrote:
> 
>  Branch: refs/heads/master
>  Home:   https://github.com/CakeML/cakeml
>  Commit: 3e598beb06944e2804c25d830f9c8d828bb9cc5f
>      https://github.com/CakeML/cakeml/commit/3e598beb06944e2804c25d830f9c8d828bb9cc5f
>  Author: Scott Owens <S.A.Owens at kent.ac.uk>
>  Date:   2017-04-24 (Mon, 24 Apr 2017)
> 
>  Changed paths:
>    M compiler/backend/conLangScript.sml
>    M compiler/backend/dec_to_exhScript.sml
>    M compiler/backend/exhLangScript.sml
>    M compiler/backend/exh_reorderScript.sml
>    M compiler/backend/exh_to_patScript.sml
>    M compiler/backend/mod_to_conScript.sml
>    M compiler/backend/proofs/exh_to_patProofScript.sml
>    M compiler/backend/semantics/conPropsScript.sml
>    M compiler/backend/semantics/conSemScript.sml
>    M compiler/backend/semantics/exhSemScript.sml
>    M compiler/backend/semantics/modPropsScript.sml
>    M compiler/backend/semantics/modSemScript.sml
>    M compiler/backend/source_to_modScript.sml
>    M compiler/inference/inferScript.sml
>    M compiler/inference/proofs/inferPropsScript.sml
>    M compiler/inference/proofs/infer_eCompleteScript.sml
>    M compiler/inference/proofs/infer_eSoundScript.sml
>    M compiler/parsing/fromSexpScript.sml
>    M semantics/ast.lem
>    M semantics/astScript.sml
>    M semantics/proofs/semanticPrimitivesPropsScript.sml
>    M semantics/proofs/typeSysPropsScript.sml
>    M semantics/semanticPrimitives.lem
>    M semantics/semanticPrimitivesScript.sml
>    M semantics/typeSystem.lem
>    M semantics/typeSystemScript.sml
>    M translator/ml_pmatchScript.sml
> 
>  Log Message:
>  -----------
>  Add wildcard patterns to the AST
> 
> For issue #265
> 
> The concrete syntax need to be updated, and cfScript needs to be fixed.
> The latter has a function for building a value from a pattern, and it
> isn't immediately obvious what to do for _ patterns.
> 
> 
> _______________________________________________
> Commits mailing list
> Commits at cakeml.org
> https://lists.cakeml.org/listinfo/commits