aarch64_small model does not build

[zyedidia]

I tried the aarch64_small model because I'd like to test out using Sail with a small AArch64 model that is restricted to user-mode, but it doesn't appear to build with the latest version.

$ cd aarch64_small
$ make
sail -Ofast_undefined  -lem -lem_lib ArmV8_extras_embed -o armV8 prelude.sail armV8.h.sail armV8_A64_sys_regs.sail armV8_A64_special_purpose_regs.sail armV8_A32_sys_regs.sail armV8_pstate.sail armV8_lib.h.sail armV8_common_lib.sail armV8_A64_lib.sail armV8.sail ../lib/regfp.sail aarch64_regfp.sail
Warning: Deprecated prelude.sail:6.57-70:
6 |val "reg_deref" : forall ('a : Type). register('a) -> 'a effect {rreg}
  |                                                         ^-----------^
  | 
Explicit effect annotations are deprecated. They are no longer used and can be removed.

Warning: Deprecated prelude.sail:8.15-28:
8 |val _reg_deref = "reg_deref" : forall ('a : Type). register('a) -> 'a
  |               ^-----------^
  | 
All external bindings should be marked as either monadic or pure

Warning: Deprecated prelude.sail:65.4-8:
65 |val cast cast_bool_bit : bool -> bit
   |    ^--^
   | 
Cast annotations are deprecated. They will be removed in a future version of the language.

Syntax error:
armV8_A64_sys_regs.sail:179.9-9:
179 |val cast "SCTLR_EL1_type_to_SCTLR_type" : SCTLR_EL1_type -> SCTLR_type
    |         ^
    | current token: "
make: *** [Makefile:28: armV8.lem] Error 1

Thanks for any help you can provide!

[Alasdair]

It's written for an older version of the language. I don't think we have any plans to update it. We have a directory for older specifications that are no-longer maintained but still have some value as a reference, I'll probably move it there.