Mercurial > urweb
comparison src/source.sml @ 621:8998114760c1
"Hello world" compiles, after replacing type-level fold with map
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 21 Feb 2009 15:33:20 -0500 |
parents | 44958d74c43f |
children | 588b9d16b00a |
comparison
equal
deleted
inserted
replaced
620:d828b143e147 | 621:8998114760c1 |
---|---|
58 | 58 |
59 | CName of string | 59 | CName of string |
60 | 60 |
61 | CRecord of (con * con) list | 61 | CRecord of (con * con) list |
62 | CConcat of con * con | 62 | CConcat of con * con |
63 | CFold | 63 | CMap |
64 | 64 |
65 | CUnit | 65 | CUnit |
66 | 66 |
67 | CTuple of con list | 67 | CTuple of con list |
68 | CProj of con * int | 68 | CProj of con * int |