aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/coerce.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2012-02-12 * algebra/coerce.spad.pamphlet (Type): Redefine as empty Join.dos-reis1-3/+2
* interp/category.boot (Join): Handle empty argument list.
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2008-11-20Fix documentationdos-reis1-4/+2
2008-11-20 * algebra/coerce.spad.pamphlet (HomotopicTo): New.dos-reis1-0/+19
* algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP.
2008-11-20 * algebra/coerce.spad.pamphlet (CoercibleFrom): New.dos-reis1-6/+62
(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-01-14 * interp/compiler.boot (compSymbol): Don't handle possibledos-reis1-1/+20
case views here. (hasUniqueCaseView): Rename from getUniqueCaseView. Take the target mode as second argument. (compForm2): Use calling convention vector to determine infer flag parameter types. (compCase1): Uniformly handle `case-expressions'. Call genDeltaEntry for selected operator. (coerceExtraHard): Handle coercions from UnionType domains. (autoCoerceByModemap): Tidy. * interp/g-opt.boot (optCall): Be more verbose in diagnostics. * algebra/syntax.spad (Syntax): Rework. * algebra/coerce.spad.pamphlet (UnionType): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include UTYPE.o * share/algebra: Update databases.
2007-08-14Initial population.dos-reis1-0/+125
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 20:29:16 +0000