[CakeML-dev] [CakeML-Dev] targeting word literal constructors in AST

[Ramana Kumar]

I like Scott's suggestion.

On 28 November 2016 at 20:23, Scott Owens <S.A.Owens at kent.ac.uk> wrote:

> Or we could have the parser map 0w3 to something like “int_to_word 3” and
> leave it in the programmers control, and have the basis start with a
> default.
>
> Scott
>
> > On 2016/11/28, at 07:36, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:
> >
> > I doubt we want to go down that path...
> >
> > Here's a (somewhat random) suggestion: word literals (0w3 etc.) are
> mapped to Word64.word, and to get bytes via parser you need to use
> Word8.fromInt.
> >
> > On 28 November 2016 at 15:35, <Michael.Norrish at data61.csiro.au> wrote:
> > Presumably SML allows type inference to figure out the width in the same
> way that numeric operations get overload-resolved:
> >
> >
> >
> > (* Poly/ML *)
> >
> > > Word8.+(0w3, 0w4);
> >
> > val it = 0wx7: Word8.word
> >
> > > Word64.+(0w3, 0w4);
> >
> > val it = 0wx7: Word64.word
> >
> >
> >
> > Michael
> >
> >
> >
> > From: Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk>
> > Date: Monday, 28 November 2016 at 11:46
> > To: "Norrish, Michael (Data61, Canberra City)" <
> Michael.Norrish at data61.csiro.au>
> > Cc: "developers at cakeml.org" <developers at cakeml.org>
> > Subject: Re: [CakeML-Dev] targeting word literal constructors in AST
> >
> >
> >
> > SML does not distinguish syntactically. I guess we might have to invent
> some syntax...?
> >
> >
> >
> > On 28 November 2016 at 11:03, <Michael.Norrish at data61.csiro.au> wrote:
> >
> > There are both Word8 and Word64 constructors for word literals in the
> AST type. How are the parser or lexer meant to figure out which any piece
> of syntax corresponds to?
> >
> > Michael
> >
> > _______________________________________________
> > Developers mailing list
> > Developers at cakeml.org
> > https://lists.cakeml.org/listinfo/developers
> >
> >
> >
> >
> > _______________________________________________
> > Developers mailing list
> > Developers at cakeml.org
> > https://lists.cakeml.org/listinfo/developers
> >
> >
> > _______________________________________________
> > Developers mailing list
> > Developers at cakeml.org
> > https://lists.cakeml.org/listinfo/developers
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161128/a1daadf4/attachment-0001.html>