diff options
author | Yale AI Dept <ai@nebula.cs.yale.edu> | 1993-07-14 13:08:00 -0500 |
---|---|---|
committer | Duncan McGreggor <duncan.mcgreggor@rackspace.com> | 1993-07-14 13:08:00 -0500 |
commit | 4e987026148fe65c323afbc93cd560c07bf06b3f (patch) | |
tree | 26ae54177389edcbe453d25a00c38c2774e8b7d4 /cfn/README |
Import to github.
Diffstat (limited to 'cfn/README')
-rw-r--r-- | cfn/README | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/cfn/README b/cfn/README new file mode 100644 index 0000000..80a25c1 --- /dev/null +++ b/cfn/README @@ -0,0 +1,35 @@ +Whats what in the cfn. + +Language generated by cfn contains these ast node types: + lambda + let + if + case -- restriction: all patterns must be either literals or + a constructor with var and wildcard args + app + var-ref + con-ref + const + con-number + sel + is-constructor + +Transformations to do: + Convert lists to explicit calls to cons + Simplify patterns + Remove sequences + Remove list comprehensions + Remove sections + Reduce patterns on lhs of decls + Reduce patterns in function args + Convert where decls to let statements + Convert guarded-expressions to if - then - else form + +Done earlier: + signdecls are removed in scoping + exp-signs are removed in typechecker + prec parser removes `negate' & pp-* nodes + + + + |