https://github.com/EasyCrypt/easycrypt
Revision e00264462a3e0744c7bb76e0d8beb1092a4498f2 authored by Alley Stoughton on 20 November 2020, 08:05:03 UTC, committed by GitHub on 20 November 2020, 08:05:03 UTC
branches as the number of constructors in the datatype being matched,
an exception was raised instead of the expected error message being
issued. Example:
type t = [A | B].
module M = {
proc f(x : t) = {
match x with
| A => { }
| A => { }
end;
}
}. 1 parent 6c677e1
Tip revision: e00264462a3e0744c7bb76e0d8beb1092a4498f2 authored by Alley Stoughton on 20 November 2020, 08:05:03 UTC
When a match has duplicate constructors but the same number of (#47)
When a match has duplicate constructors but the same number of (#47)
Tip revision: e002644
Makefile.system
# -*- Makefile -*-
# --------------------------------------------------------------------
OCAML := $(shell ocamlbuild -which ocamlc 2>/dev/null || echo false)
CC := gcc
TAR := tar
MACHINE := $(shell $(OCAML) -ccopt -dumpmachine dummy.c 2>/dev/null)
UNAME := $(shell uname -s)
EXE :=
ifneq (,$(findstring CYGWIN,$(UNAME)))
CC := $(MACHINE)-gcc
endif
ifneq (,$(findstring Darwin,$(UNAME)))
TAR := gtar
endif
ifneq (,$(findstring mingw,$(MACHINE)))
EXE := .exe
endif
ifneq (,$(findstring cygwin,$(MACHINE)))
EXE := .exe
endif
Computing file changes ...
